identity natural transformation

1. Definition

Let \(\mathcal{C}, \mathcal{D}\) be categories and \(\mathcal{F}: \mathcal{C} \rightarrow \mathcal{D}\) a functor. Then the identity natural transformation is defined as

\begin{align*} \mathrm{id}_{\mathcal{F}}: \mathcal{F} \Rightarrow& \mathcal{F} \\ A \mapsto& \mathrm{id}_{\mathcal{F}(A)} \end{align*}

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:40