Kategorien/Kontravarianter Funktor/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Kontravarianter Funktor

Es seien und Kategorien. Ein kontravarianter Funktor von nach ist eine Zuordnung, die jedem Objekt ein Objekt und jedem Morphismus einen Morphismus zuordnet, wobei die folgenden Bedingungen erfüllt sind.

  1. Zu Objekten und Morphismen und ist
  2. Es ist

    für jedes Objekt aus .