Here’s some basic information about the next big annual applied category theory conference — Applied Category Theory 2025 — and the school that goes along with that: the Adjoint School. James ...
I’m teaching Edinburgh’s undergraduate Axiomatic Set Theory course, and the axioms we’re using are Lawvere’s Elementary Theory of the Category of Sets — with the twist that everything’s going to be ...