The Yoneda Lemma

Math Online Tom Circle

Representable Functor F of C ( a, -):

$latex boxed {(-)^{a} = text {F} iff a = text {log F}}&fg=aa0000&s=3$

4.2Yoneda Lemma

Prove :

Yoneda Lemma:
$latex text {F :: C} to text {Set}$

$latex boxed {alpha text { :: [C, Set] (C (a, -),F) } simeq text {F a}}&fg=0000aa&s=3$

$latex alpha : text {Natural Transformation}$
$latex simeq : text {(Natural) Isomorphism}$

Proof: By “Diagram chasing” below, shows that

: $latex alpha text { :: [C, Set] (C (a, -),F) } $ is indeed a (co-variant) Functor.

Right-side: Functor “F a“.

Note: When talking about the natural transformations, always mention their component “x”: $latex alpha_{x}, beta_{x}$

Yoneda Embedding (Lagatta)

View original post

Author: tomcircle

Math amateur

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.