Kategorien/Kovarianter Funktor/Definition
Zur Navigation springen
Zur Suche springen
Kovarianter Funktor
Es seien und Kategorien. Ein kovarianter Funktor von nach ist eine Zuordnung, die jedem Objekt ein Objekt und jedem Morphismus einen Morphismus zuordnet, wobei die folgenden Bedingungen erfüllt sind.
- Zu Objekten
und Morphismen
und
ist
- Es ist
für jedes Objekt aus .