[ 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

Search:

View post   
>> No.8901030 [View]
File: 131 KB, 855x776, Screen Shot 2017-05-11 at 14.45.22.png [View same] [iqdb] [saucenao] [google]
8901030

>>8901021
I'm speaking of the first definition of category theory as written down here in my notes

https://axiomsofchoice.org/category_theory
here's one from e.g. ZFC
https://axiomsofchoice.org/category_._set_theory

I'll work a lot of this into the youtube series after I covered some Idris in the second half of the year, subscribe here
https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos

On the wiki I've also made some remarks on the drawing posted above in >>8899199
https://axiomsofchoice.org/yoneda_embedding

>> No.8901029 [DELETED]  [View]
File: 131 KB, 855x776, Screen Shot 2017-05-11 at 14.45.22.png [View same] [iqdb] [saucenao] [google]
8901029

>>8901014
I can't parse the sentence with the "?" placed in the middle,
but in any case I'm speaking of the first definition of category theory as written down here in my notes

https://axiomsofchoice.org/category_theory
here's one from e.g. ZFC
https://axiomsofchoice.org/category_._set_theory

I'll work a lot of this into the youtube series after I covered some Idris in the second half of the year, subscribe here
https://www.youtube.com/channel/UCcrSMnEYhIPX_p127jI23qw/videos

On the wiki I've also made some remarks on the drawing posted above in >>8899199
https://axiomsofchoice.org/yoneda_embedding

Navigation
View posts[+24][+48][+96]