Definition:Adjunction

Definition
Let $\mathbf {Set}$ be the category of sets.

Let $\mathbf C$, $\mathbf D$ be locally small categories.

An adjunction between $\mathbf C$ and $\mathbf D$ is a triple $\tuple {F, G, \alpha}$, where


 * $F : \mathbf D \to \mathbf C$ is a functor.


 * $G : \mathbf C \to \mathbf D$ is a functor.


 * $\alpha: \map {\mathrm {Hom}_{\mathbf C} } {F-, -} \to \map {\mathrm {Hom}_{\mathbf D} } {-, G-}$ is a natural isomorphism between the functors:


 * $\map {\mathrm {Hom}_{\mathbf C} } {F-, -} : \mathbf D^{\mathrm {op}} \times \mathbf D \to \mathbf{Set}$


 * $\map {\mathrm {Hom}_{\mathbf D} } {-, G-} : \mathbf D^{\mathrm {op} } \times \mathbf D \to \mathbf{Set}$