Previously: Part 8. 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.

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

TrackBack URL for this Entry: https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3578 ...

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 2, 2024 You can now apply for the 2025 Summer Research Associate program at the Topos Institute! The deadline to apply is January 17, 2025.

Nov 7, 2024 00:45 Here’s a way to argue that Gerard’s solution to my puzzle is correct. Thurston showed that any star of the ...

Gerard Westendorp has a real knack for geometry, and here is his answer. Here is Thurston’s procedure. First draw the lattice of Eisenstein integers in the complex plane: ...

Projects range from applied category theory to logic, programming languages, and science, technology, and society. Specific topics for 2025 include, but are not limited to: Computational category ...

And the course feels like it’s mostly converging with any other set theory course, just with the special feature that everything remains resolutely isomorphism-invariant. This week we constructed N ...