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.

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

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

Previously: Part 6. Next: Part 8. As the course continues, the axioms fade into the background. They rarely get mentioned these days. Much more often, the facts we’re leaning on are theorems that were ...

Are you interested in using category-theoretic methods to tackle problems in topics like quantum computation, machine learning, numerical analysis or graph theory? Then you might like the Adjoint ...

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 Mathematical Society. Here’s a draft ...

Sep 27, 2021 Introduction to the weakly globular double categories model of bicategories as part of the adjoint school for Applied Category Theory 2021.