semiopedia.org
Arrow Types

Arrow Types

A foundational concept in category theory that classifies different kinds of morphisms based on their mathematical properties and behaviors.

Arrow Types

In category theory, arrow types (also called morphism types) are fundamental classifications of the relationships between objects. These specialized arrows capture different kinds of mathematical transformations and structural relationships.

Core Arrow Types

Monomorphisms

  • Also known as "mono" arrows
  • Represent injective functions in the category of sets
  • Preserve distinctness: if f∘g₁ = f∘g₂, then g₁ = g₂
  • Examples include subset inclusions and one-to-one mappings

Epimorphisms

  • Also known as "epi" arrows
  • Correspond to surjective functions in the category of sets
  • Right-cancellative: if g₁∘f = g₂∘f, then g₁ = g₂
  • Examples include onto mappings and quotient maps

Isomorphisms

  • Represent reversible transformations
  • Both mono and epi
  • Have a two-sided inverse
  • Preserve all relevant structural properties

Special Arrow Types

Endomorphisms

  • Arrows from an object to itself
  • Form a monoid under composition
  • Important in studying symmetry and self-maps

Natural Transformations

  • "Arrows between functors"
  • Fundamental to universal properties
  • Enable comparison of different categorical constructions

Applications

In Mathematics

  • Provide precise language for structural relationships
  • Essential in homological algebra
  • Used to define universal constructions

In Computer Science

Properties and Relationships

Arrow types often form hierarchies and interrelationships:

  1. Every isomorphism is both mono and epi
  2. Not every arrow that is both mono and epi is an isomorphism
  3. Composition of arrows preserves their types under certain conditions

Historical Development

The systematic study of arrow types emerged from:

See Also