I want to go back over something from Part 11, but in a more systematic and self-contained way. I’m stating these facts roughly now, to not get bogged down. But I’ll state them precisely, prove them, ...

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

I’ve been blogging a bit about medieval math, physics and astronomy over on Azimuth. I’ve been writing about medieval attempts to improve Aristotle’s theory that velocity is proportional to force, ...

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

Dec 15, 2024 More detail on the Cycle Length Lemma, a basic result in the theory of random permutations. We prove a categorified version of this result, which is an equivalence of groupoids, and then ...

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

Hello [email protected]. 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 ...

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

Nov 22, 2024 01:03 The quantum computation topic, and mentor, have changed to this: Structuring Quantum Effects with Monads and Arrows Mentor: Juliana Kaizer ...

Nov 3, 2024 23:22 By the way, when I replied to Paolo that some of my students have asked me about equality, what I ...