 |
Post AaSSyEcNtndMbc2ZeK by [email protected] |
 |
More posts by [email protected] |
|
Post #AaSQXpYkFCyFRxcUqG by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@caten @julesh - I think @highergeometer might have something interesting to sa… |
|
|
|
Post #AaSQvWVKk461ImK0yO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@zanzi - "The only time these disagreements turn into arguments is when p… |
|
|
|
Post #AaSSyEcNtndMbc2ZeK by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez ha ha, as I recall, the young homotopy type theorists I've … |
|
|
|
Post #AaSTgLWFbOogkbCnIm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nilesjohnson @zanzi @julesh @amy - as best as I can tell, the term "evil&… |
|
|
|
Post #AaSUUwjrUkeefEhSXg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez yeah, this is roughly how I learned the term. I think a morali… |
|
|
|
Post #AaSVRgd32DDVmlWRYe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nilesjohnson - I think we'll see a big slow-burning battle this century be… |
|
|
|
Post #AaSX5cg5FAsX4LY6j2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez I wish I didn't have a stake in this! I think these new for… |
|
|
|
Post #AaSYsPBQIwnDMP275k by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @nilesjohnson @zanzi @amy This vaguely reminds me of the great … |
|
|
|
Post #AaSaHBGlGzlTOuuLLM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nilesjohnson - what sort of "evil" activities do you engage in? A … |
|
|
|
Post #AaSaTVEirU5anppVEe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@julesh - luckily I don't do enough programming to know the term "foot… |
|
|
|
Post #AaSafw4Qv2yPVBwfjs by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez @nilesjohnson @zanzi @amy on my way!! |
|
|
|
Post #AaSb3LWcRgg76nIAca by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@julesh - great! It'll be good to see you, and Lisa is out of town so I… |
|
|
|
Post #AaSbRQfmxQ7y1a44h6 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Yeah, strictification is part of it. Without getting too far i… |
|
|
|
Post #AaSbVN4iHD2s1XbQQ4 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez "Forbids" is just as moralising as "evil", … |
|
|
|
Post #AaSbVN9K04jQFpl6bQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@amy - ""Forbids" is just as moralising as "evil", by … |
|
|
|
Post #AaSc5KeEmGtUvCMlkm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@nilesjohnson - occasionally I feel like John Henry trying to keep up with peop… |
|
|
|
Post #AaUV1KiSGvImbxPAZM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
One might decide to adapt Lawvere's results to a higher category, eg a bica… |
|
|
|
Post #AaaqEzhuRVt9UfGTQm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
It's curious that the category Cat is only prevented from being an object o… |
|
|
|
Post #AaaqF2rEjI8FGSeSsy by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@julesh This is incorrect; it's an artifact of working in (or having intuit… |
|
|
|
Post #AaaqF2vqS9onUko94K by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@amy I didn't know exactly what goes wrong if you're constructive, but … |
|
|
|
Post #AaaqF6gkUE7T95m95s by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@julesh @amy You didn't say what the 1-arrows of Cat were, though.Are you h… |
|
|
|
Post #AaaqGlG38UxnG74mHI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@TobyBartels - a category internal to abelian groups is another way of thinking… |
