Contravariant Hom Functor maps Colimits to Limits

From ProofWiki
Jump to navigation Jump to search


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

Let $\mathbf C$ be a locally small category.

Let $C$ be an object of $\mathbf C$.

Let $\map \hom {\cdot, C}: \mathbf C \to \mathbf{Set}$ be the contravariant hom functor based at $C$.

Then $\map \hom {\cdot, C}$ maps every colimit to a limit, in that:

$\map \hom { {\varinjlim \,}_j \,D_j, C} \cong {\varprojlim \,}_j \, \map \hom {D_j, C}$

for every diagram $D: \mathbf J \to \mathbf C$.