Definition:Yoneda Functor/Contravariant

From ProofWiki
Jump to navigation Jump to search

Definition

Let $C$ be a locally small category.

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

Let $\sqbrk {C, \mathbf {Set} }$ be the functor category between them.


The contravariant Yoneda functor of $C$ is the contravariant functor $h^- : C \to \sqbrk {C, \mathbf {Set} }$ which sends

an object $X \in C$ to the covariant hom-functor $h^X = \map {\operatorname {Hom} } {X, -}$
a morphism $f : X \to Y$ to the precomposition natural transformation $h^f : \map {\operatorname {Hom} } {Y, -} \to \map {\operatorname {Hom} } {X, -} : g \mapsto g \circ f$


Also see


Source of Name

This entry was named for Nobuo Yoneda.


Sources