The Clowder Project

A functor $F\colon \mathcal{C}\to \mathcal{D}$ from $\mathcal{C}$ to $\mathcal{D}$¹ consists of:

1. Action on Objects. A map of sets
   \[ F \colon \text{Obj}\webleft (\mathcal{C}\webright ) \to \text{Obj}\webleft (\mathcal{D}\webright ), \]

   called the action on objects of $F$.

2. Action on Morphisms. For each $A,B\in \text{Obj}\webleft (\mathcal{C}\webright )$, a map
   \[ F_{A,B} \colon \textup{Hom}_{\mathcal{C}}\webleft (A,B\webright ) \to \textup{Hom}_{\mathcal{D}}\webleft (F\webleft (A\webright ),F\webleft (B\webright )\webright ), \]

   called the action on morphisms of $F$ at $\webleft (A,B\webright )$

   ²

satisfying the following conditions:

1. Preservation of Identities. For each $A\in \text{Obj}\webleft (\mathcal{C}\webright )$, the diagram
   

   commutes, i.e. we have

   \[ F\webleft (\text{id}_{A}\webright ) = \text{id}_{F\webleft (A\webright )}. \]
2. Preservation of Composition. For each $A,B,C\in \text{Obj}\webleft (\mathcal{C}\webright )$, the diagram
   

   commutes, i.e. for each composable pair $\webleft (g,f\webright )$ of morphisms of $\mathcal{C}$, we have

   \[ F\webleft (g\circ f\webright ) = F\webleft (g\webright )\circ F\webleft (f\webright ). \]