TeXipedia

multimap

Represents a mapping that associates one element with multiple elements, commonly used in set theory and abstract mathematics.

Overview

Essential in mathematical contexts where relationships between sets need to be depicted with multiple correspondences or many-to-many mappings.

  • Frequently used in category theory to show multiple associations
  • Common in computer science when describing database relationships
  • Appears in abstract algebra for describing multivalued functions
  • Used in set theory to indicate relations where elements can have multiple images

Examples

Showing a many-to-many mapping between sets A and B.

A⊸BA \multimap B 
A \multimap B

Expressing a multivalued function relationship.

f:X⊸Yf: X \multimap Y 
f: X \multimap Y

Indicating multiple correspondences in category theory.

C⊸D\mathcal{C} \multimap \mathcal{D} 
\mathcal{C} \multimap \mathcal{D}