Funktoren zwischen Kategorien

Kategorien C, D,

F heißt Funktor von C nach D, falls: F = (FObj, FMor) mit

Bsp: C = Vektorräume über K, D = Mengen.
Bsp: Funktor von Mengen nach Vektorräumen?


Def: Endofunktor: Funktor von C nach C

Bsp: Endofunktoren in der Kategorie einer Halbordnung?



Johannes Waldmann 2010-01-25