 ##  [Functor](/functor) 

  ##  [Functor](https://natural.quantumdictionary.io/functor-0) 

  
 [![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

A mapping between categories that assigns to each object and morphism in the source category an object and morphism in the target category while preserving identities and composition (covariant) or reversing arrows (contravariant via the opposite category).

 
 ##  [Functor](https://mathlogic.quantumdictionary.io/functor-1) 

  
 [![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

A mapping F between categories C and D that assigns to each object X of C an object F(X) of D and to each morphism f: X→Y in C a morphism F(f): F(X)→F(Y) in D, preserving identities (F(id_X)=id_{F(X)}) and composition (F(g◦f)=F(g)◦F(f)).

 
 ##  [Functor](https://puremath.quantumdictionary.io/functor-2) 

  
 [![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

A mapping between categories that assigns to every object of a source category an object of a target category and to every morphism in the source a morphism in the target, preserving identity morphisms and composition.