ACT 2025 | The n-Category Café
Dec 4, 2024 · Submission Important dates . All deadlines are AoE (Anywhere on Earth). February 26: title and brief abstract submission; March 3: paper submission
Triangulations of the Sphere (Part 1) | The n-Category Café
Oct 26, 2024 · I’m writing a short column about this paper: W. P. Thurston, Shapes of polyhedra and triangulations of the sphere. Let me describe one of the key ideas as simply as I can.
Adjoint School 2025 | The n-Category Café
Oct 31, 2024 · The quantum computation topic, and mentor, have changed to this: Structuring Quantum Effects with Monads and Arrows. Mentor: Juliana Kaizer Vizzotto Category theory …
Galois Theory | The n-Category Café
Aug 15, 2024 · Galois Theory Posted by Tom Leinster. I’ve just arXived my notes for Edinburgh’s undergraduate Galois theory course, which I taught from 2021 to 2023.. I first shared the notes …
The Dual Concept of Injection | The n-Category Café
Jan 15, 2025 · We’re brought up to say that the dual concept of injection is surjection, and of course there’s a perfectly good reason for this. The monics in the category of sets are the …
A Characterization of Standard Borel Spaces | The n-Category Café
Feb 4, 2025 · This paper did it: Ruiyuan Chen, A universal characterization of standard Borel spaces, Journal of Symbolic Logic 88(2) (2023), 510–539. Here is his result: Theorem. The …
Triangulations of the Sphere (Part 2) | The n-Category Café
Oct 29, 2024 · Thurston’s paper Shapes of polyhedra and triangulations of the sphere is really remarkable. I’m writing about it in my next column for the Notices of the American …
What Is Entropy? | The n-Category Café - University of Texas at …
Jul 20, 2024 · Those other quantities are important, but they’re not called ‘temperature’. They’re called the ‘thermodynamic conjugates’ of the conserved quantities in question. I haven’t heard …
An Operational Semantics of Simply-Typed Lambda Calculus With …
Jul 10, 2024 · guest post by Leonardo Luis Torres Villegas and Guillaume Sabbagh. Introduction. String diagrams are ubiquitous in applied category theory. They originate as a graphical …
Axiomatic Set Theory 10: Cardinal Arithmetic | The n-Category Café
Nov 22, 2024 · Previously: Part 9. The course is over! The grand finale was the theorem that. X × Y ≅ X + Y ≅ max (X, Y) X \times Y \cong X + Y \cong max(X, Y) . for all infinite sets X X and Y …