Kategorien (Definition II)

...und erfüllt Bedingungen:

• id_⋅ sind neutral (auf beiden Seiten)

  für alle a$\;\stackrel{{m}}{{\rightarrow}}\;$b:

  id_aom = m = moid_b

• Verkettung von Morphismen o ist assoziativ:

  (fog)oh = fo(goh)