Definition:Left Adjoint Functor

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $F : \mathbf D \to \mathbf C$ and $G : \mathbf C \to \mathbf D$ be functors.

$F$ is a left adjoint functor of $G$ if and only if there exists an adjunction $\struct {F, G, \alpha}$.


Sources