Maths

Arrows

  • adjunction: Adjunction arrows (left adjoint from left to right)
  • epi: an alias for twoheadrightarrow.
  • incl: an alias for hookrightarrow
  • leftepi
  • leftincl
  • longepi
  • longhookrightarrow
  • longincl
  • longleftepi
  • longleftincl
  • longmono
  • longmultimap
  • longtwoheadleftarrow
  • longtwoheadrightarrow
  • mono: an alias for rightarrowtail
  • noitcnujda: Reverse adjunction arrows (left adjoint from right to left)
  • xepi
  • xincl
  • xleftepi
  • xleftincl
  • xot
  • xto
  • xtwoheadleftarrow(1)
  • xtwoheadrightarrow(1)

Operators

  • Ann
  • Aut
  • Bil
  • car
  • Card
  • card
  • codom
  • coker
  • colim
  • Dom
  • dom
  • END
  • End
  • ev
  • Ext
  • Frac
  • GL
  • Hom
  • Id
  • id
  • im
  • Ind
  • Ker
  • Map
  • Mor
  • Ob
  • ob
  • Orb
  • proj
  • rk
  • SL
  • Spec
  • Stab
  • Sym
  • Tor
  • tr

Categories

  • newcategory(4): Shorthand to define new categories. For instance : \newcommand{\sSet}{s}{S}{et}, or \newcategory{\Grp}{}{G}{rp}
  • op: The op exponent for dual categories.

Predefined categories

  • Ab
  • Alg
  • CAT
  • Cat
  • Ch
  • Fin
  • Graph
  • Grp
  • Mod
  • Mon
  • Op
  • Pos
  • pSh
  • Ring
  • SET
  • Set
  • Sh
  • sSet
  • Top
  • Vect

Category style

Use prefix cat, for letters (any case) only, e.g. \catCC.

Misc

  • DeclareBigOperator(2)
  • DeclareRotatedSymbol(3)
  • yoneda