Nächste Seite:
Kategorien: einfache Beispiele
Aufwärts:
Theorems ...for Free
Vorherige Seite:
Kategorien (Definition I)
Kategorien (Definition II)
...und erfüllt Bedingungen:
id
⋅
sind neutral (auf beiden Seiten)
für alle
a
b
:
id
a
o
m
=
m
=
m
o
id
b
Verkettung von Morphismen
o
ist assoziativ:
(
f
o
g
)
o
h
=
f
o
(
g
o
h
)
Johannes Waldmann 2010-01-25
