3 ms·
Cats as (Arab/syriac) guest demon/god of algebra? (It's just inconvenient that they are also associated with category theory) Brings to mind the Atiyah (who wa
by vinnyvichy 2y ago
Cats as (Arab/syriac) guest demon/god of algebra? (It's just inconvenient that they are also associated with category theory)
Brings to mind the Atiyah (who was Lebanese) quote.
- 082349872349872 2y agoAt least as far as typesetting commutative diagrams goes, could category theory be the revenge of geometry?
- vinnyvichy 2y agoAhh yes, LLMs ( preneutered!) may cause a resurgence of diagramming (used in vengeance) https://terrytao.wordpress.com/2023/11/18/formalizing-the-proof-of-pfr-in-lean4-using-blueprint-a-short-tour/ https://terrytao.wordpress.com/2023/11/18/formalizing-the-pr...
- vinnyvichy 2y agohttps://news.ycombinator.com/item?id=40978033 https://news.ycombinator.com/item?id=40978033