 |
Posts by [email protected] |
 |
Post #AbSxMQIPB0KSCOf1oe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez shallow but for me 108 = 90 + 18 |
|
|
|
Post #AcDRI3iH8DAYtikkYS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @andrejbauer @boarders nice |
|
|
|
Post #Ag23r2sxK8oehDMnAG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
I feel like one of my obstructions to topos theory is discomfort with represent… |
|
|
|
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 #Ar61NnTROizh1UqLYG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@amy this is awful |
|
|
|
Post #AtnALcNTELimISmCie by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@robinadams @johncarlosbaez @JordiGH I discovered this guy on YouTube around th… |
|
|
|
Post #AtnAUpdVIwpC1XfZU8 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @andrejbauer @MartinEscardo Martin has helped me a lot. And And… |
|
|
|
Post #AvLnLU5uZlmZzhdxtg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@MartinEscardo @andrejbauer yeah adhering strongly to only using where is essen… |
