Last modified date: <%+ tp.file.last_modified_date() %>

• Tags
  • #cats
• Refs:
  • #todo/add-references
• Links:
  • pointed category

Yoneda lemma

• The Yoneda embedding: the functional functor: \begin{align*} Y: \mathsf{C} \to {\mathsf{Fun}}(\mathsf{C}, {\mathsf{Set}}) = \underset{ \mathsf{pre} } {\mathsf{Sh} }(\mathsf{C}, {\mathsf{Set}}) \quad Y({-}) := {\mathsf{Fun}}({-}, {\mathsf{Set}}) \circ { {({-})}^{\operatorname{op}}} \quad X \mapsto \mathop{\mathrm{Hom}}_{\mathsf{C} } ({-}, X) \end{align*}