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

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

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

In Part 4, I presented a nifty result supporting my claim that classical statistical mechanics reduces to thermodynamics when Boltzmann’s constant k k approaches zero. I used a lot of physics jargon ...

Hopefully, you didn’t notice, but Golem V has been replaced. Superficially, the new machine looks pretty much like the old. It’s another Mac Mini, with an (8-core) Apple Silicon M2 chip (instead of a ...

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

Aug 1, 2010 A workshop on differential characters and Deligne cohomology. Cobordism and Topological Field Theories Week 5 Dec 7, 2009 Week 5 of the cobordism and TFT seminar gives a short history of ...

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

Dec 18, 2019 We can use groupoid cardinality to compute the moments of this random variable: the number of cycles of length k in a random permutation of an n-element set. Classifying by Generalizing: ...