[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 6 KB, 272x235, YonedaLemma-02.png [View same] [iqdb] [saucenao] [google]
1239596 No.1239596 [Reply] [Original]

Yoneda Lemma. Explain this shit to me, /sci/. Anyone below God Tier need not apply.

>> No.1239604

just moving models to a hipotetical space where everything is more convenient.. what so hard about that?

>> No.1239630

How can you use it to show <span class="math">C(c, a \times b) \simeq C(c, a) \times C(c, b)[/spoiler]?

>> No.1239641

>>1239630
are you fucking stupid? easyshit bro

>> No.1239664

>>1239641

I know it's obvious, but I want to do it with the Yoneda Lemma. What functor and object do you use?

>> No.1239670

>>1239664
now HW threads, figure this easymode shit yourself

>> No.1239677

Self-study not HW.

>> No.1239687

>>1239630
What's C here? some functor?

>> No.1239696

A category.

>> No.1239729

This thread is now about representable functors.

>> No.1239772

bump for some decent math content

trying to wrap my head around it

>> No.1239801

Looks like an Arestotelian logic box... just sayin' ya know.

>> No.1239876
File: 158 KB, 816x880, 1272581019201.jpg [View same] [iqdb] [saucenao] [google]
1239876

This picture i have strategically placed here to distract you people, you are currently being distracted from solving the above problem and will continue to be so until this sentence is finished at which time you will again glance at the picture.

>> No.1239929

>>1239596
http://en.wikipedia.org/wiki/Ulam_spiral

>> No.1239950
File: 155 KB, 1024x768, rendedprimeSpiral7.jpg [View same] [iqdb] [saucenao] [google]
1239950

>>1239596
Should have sent a poet

>> No.1239960

I think you want

A = c
f : c -> c x c
and
F : Hom(c, - )

top left should be the Hom(c,c) from the first category in >>1239641 and Hom(c x c, c x c) in the bottom right from the product category.