 ##  [Funtor](/de/node/59344) 

  ##  [Funtor](https://natural.quantumdictionary.io/de/node/59345) 

  
 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)


**Natural &amp; Formal Sciences Dictionary**

 
Definition

Eine Abbildung zwischen Kategorien, die jedem Objekt und Morphismus der Quellkategorie ein Objekt bzw. einen Morphismus der Zielkategorie zuordnet und dabei Identitäten und Komposition erhält (kovariant) oder Pfeile umkehrt (kontravariant über die gegenüberliegende Kategorie).

 
 ##  [Funtor](https://mathlogic.quantumdictionary.io/de/node/60214) 

  
 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definition

Ein Funktor F zwischen Kategorien C und D, der jedem Objekt X von C ein Objekt F(X) von D und jedem Morphismus f: X→Y in C einen Morphismus F(f): F(X)→F(Y) in D zuordnet, wobei Identitäten (F(id_X)=id_{F(X)}) und Komposition (F(g◦f)=F(g)◦F(f)) erhalten bleiben.

 
 ##  [Funtor](https://puremath.quantumdictionary.io/de/node/61591) 

  
 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 
Definition

Eine Abbildung zwischen Kategorien, die jedem Objekt der Quellkategorie ein Objekt der Zielkategorie und jedem Morphismus der Quelle einen Morphismus im Ziel zuordnet, wobei Identitätsmorphismen und Komposition erhalten bleiben.