Kategorie C besteht aus:
- Objekten
Obj(C)
- Morphismen
Mor(C), jedes
m∈Mor(C) besitzt:
- Quelle (source)
src(m)∈Obj(C)
- Ziel (target)
tgt(m)∈Obj(C)
Schreibweise:
src(m)tgt(m)
- Operation
id : Obj(C)→Mor(C), so daß für alle
a∈Obj(C):
aa
- Operator o:
wenn
abc,
dann
ac
Johannes Waldmann
2010-01-25
