2 ms·
At least as far as typesetting commutative diagrams goes, could category theory be the revenge of geometry?
by 082349872349872 2y ago
At 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