TeXipedia

origof

Represents the origin or source of a mathematical object or concept, particularly in category theory and abstract algebra.

Overview

Serves as a specialized mathematical notation primarily used in advanced theoretical mathematics to denote the origin or source object in categorical constructions and morphisms.

  • Common in category theory diagrams and abstract algebraic structures
  • Used when describing functors, natural transformations, and universal properties
  • Appears in academic papers and advanced mathematical texts focusing on foundational mathematics

Examples

Showing the origin of a homomorphism between groups.

ϕ:G⊶H\phi: G \origof H 
\phi: G \origof H

Indicating the source group in a mapping between algebraic structures.

f:R⊶S is a ring homomorphismf: R \origof S \text{ is a ring homomorphism} 
f: R \origof S \text{ is a ring homomorphism}

Denoting the domain of a group action.

G⊶X defines a group action on XG \origof X \text{ defines a group action on } X 
G \origof X \text{ defines a group action on } X