 |
Posts by [email protected] |
 |
Post #AiugiJnZYS1c0oFqy0 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
Yesterday at TYPES ~10 of us tried to go to a burger place here in Copenhagen c… |
|
|
|
Post #ArO4yRVPpoYWJRDA3s by [email protected] |
|
0 likes, 0 repeats |
|
|
|
As a follow up to my office door comics, one of my colleagues has made an anony… |
|
|
|
Post #AsNooiPSmRwRevfGBE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@amy Too prolific to name the theorem "Quillen's theorem", someho… |
|
|
|
Post #AsNooiXGJSBE37JUKu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@amy (I'm a bigger fan of the "Theorem of the Heart" in terms of … |
|
|
|
Post #Asd4hJuXyqaAHx69b6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @mortberg @gallais In general audience talks, I have aimed for &q… |
|
|
|
Post #Asd4hK1zXAXMf2a6CW by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@jonmsterling @mortberg @gallais In this context, I described my use of modali… |
|
|
|
Post #AxqB8ZzhKmzd8Gh840 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@carloangiuli I can second this experience! I regularly run into this with comp… |
|
|
|
Post #AxwySqRpvjb0enuOzA by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Oh hey, Cary Malkiewich's book draft on stable homotopy theory gained a new… |
|
|
|
Post #Ay0FJGlJWNqo4Hv172 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Sorry, what theory are you using to define completeness here? I'm … |
|
|
|
Post #Ay0FJGy4kw3ihrtD0K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Hm, perhaps this is too simple-minded but consider the following:take … |
|
|
|
Post #Ay0FJHwh7YY3jsFcUS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Oh, and one should have distinct maps 1 --> y(X) if there are disti… |
|
|
|
Post #Ay0FJtMW0WBfmfcGNE by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@maxsnew Indeed... my feeling is that one can find some such category, but cate… |
|
|
|
Post #Ay6SYOosJKUbkotA3s by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bhaktishh Hm, well, of course, nothing stops us from defining Sb' D G = Sb… |
|
|
|
Post #Ay6SYOwJreRo7uN6fI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@bhaktishh I think it helps a bit to think of contexts not as big bags of varia… |
|
|
|
Post #Ay8MlenfzmNffnBcfY by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Gonna see if I can get students to read my notes carefully this way... |
|
|
|
Post #AyGvHeCKinGCmHpBp2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@markusde @maxsnew I got married this weekend and here are 10 things it taught … |
