covariant hom functor of points

1. Definition

Let \(\mathcal{C}\) be a locally small category and \(A \in \mathcal{C}\) Then the covariant hom-functor is defined as

\begin{align*} \mathrm{Hom}(A, -): \mathcal{C} \rightarrow& \mathrm{Set} \\ B \mapsto& \mathrm{Hom}_{\mathrm{Set}}(A, B) \\ (f: B \rightarrow C) \mapsto& (\mathrm{Hom}(A,f): g \mapsto f \circ g) \end{align*}

see: hom-functor

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:04