 |
Post Ag23r2sxK8oehDMnAG by [email protected] |
 |
More posts by [email protected] |
|
Post #Ag23r2sxK8oehDMnAG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I feel like one of my obstructions to topos theory is discomfort with represent… |
|
|
|
Post #Ag23r2xD4KDcuPMBnM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ToucanIan Here is an intuition that I find useful.Suppose you have a category … |
|
|
|
Post #Ag23r316ppL16VBIsC by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo - the funny thing about this "new object" is that we&#… |
|
|
|
Post #Ag23r3NRUnCcDld8gS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Also I’ve still really not reconciled yoneda even though it makes total sense… |
|
|
|
Post #Ag23r3wXOJH7yc3AO0 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
It’s also weird to me that Type Theory just clicks for the most part (but I w… |
|
|
|
Post #Ag37BzqaJECaNItoZs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @MartinEscardo this was one of my questions to! Also there obvi… |
|
|
|
Post #Ag3C3KUagGijZNIYe8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@ToucanIan - the identity is no problem: every object has just one, and we know… |
