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 ...

Hello unknown@40.77.167.64. So nice of you to stop by. I'm a member of the Theory Group here at UT. I've been at UT since September 1994. Before coming here, I was an Assistant Professor in the theory ...

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 ...

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: ...

Previously: Part 5. Next: Part 7. A category theorist might imagine that a chapter with this title would be about constructing colimits, and they’d be half right.

Nov 11, 2024 20:33 Going back and rereading Tom’s old post, what Tom wrote about there amounted to working with a finite parameter set ...

I haven’t been carefully following quantum field theory these days, but some folks on the Category Theory Community Server asked me what I thought about recent work using the ‘amplitudohedron’ and ...

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 ...