As a digression from our usual fare on the n n -Café, here’s one of my favorites, about an early theory of the Solar System, ...

The Eighth International Conference on Applied Category Theory ( https://easychair.org/cfp/ACT2025) will take place at the University of Florida on June 2-6, 2025. The conference will be preceded by ...

Nov 22, 2024 The final chapter of this course on secretly-categorical set theory. Axiomatic Set Theory 9: The Axiom of Choice Nov 15, 2024 The penultimate week of this axiomatic set theory course, ...

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...

Nov 1, 2022 John Baez is giving a talk on categories and epidemiology on Wednesday November 2nd, viewale online at noon UTC. A Categorical Understanding of the Proof of Cantor-Schröder-Bernstein? Dec ...

for all infinite sets X X and Y Y. Proving this required most of the concepts and results from the second half of the course: well ordered sets, the Cantor–Bernstein theorem, the Hartogs theorem, Zorn ...

Nov 15, 2024 The penultimate week of this axiomatic set theory course, based on Lawvere’s Elementary Theory of the Category of Sets.

Previously: Part 8. Next: Part 10. It’s the penultimate week of the course, and up until now we’ve abstained from using the axiom of choice. But this week we gorged on it. The section I most enjoyed ...

This is the homepage for the UT Geometry and Quantum Field Theory Seminar. At the organizational meeting we will flesh out the details of our plans for the semester. Below are some suggestions to get ...