A function is determined by its effect on elements. That is, define an element of a set S as a function 1 → S. Then whenever f, g: X → Y with fx = gx for all elements x of X, we have f = g. There is a ...

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

Hello unknown@52.167.144.166. 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 ...

In Part 1, I explained my hopes that classical statistical mechanics reduces to thermodynamics in the limit where Boltzmann’s constant k k approaches zero. In Part 2, I explained exactly what I mean ...

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’m trying to work out how classical statistical mechanics can reduce to thermodynamics in a certain limit. I sketched out the game plan in Part 1 but there are a lot of details to hammer out. While I ...

A physical framework often depends on some physical constants that we can imagine varying, and in some limit one framework may reduce to another. This suggests that we should study a ‘moduli space’ or ...

Jun 19, 2011 Two classical notions of flat functor have a common generalization, leading to a better category of sites. History of Understanding Bundles with Connection using Parallel Transport around ...

May 18, 2007 Roger Penrose’s paper Angular Momentum: an Approach to Combinatorial Space-Time is now available in electronic form. Aaronson on the Nature of Quantum Mechanics Jan 16, 2007 Scott ...