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

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

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

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

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

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

Jul 23, 2009 Dominc Verity characterizes the descent condition for infinity-groupoid valued presheaves that happen to take values in strict infinity-groupoids.

Feb 10, 2014 There will be 4 talks on “Network Theory” and one on “Operads and the Tree of Life” at the University of Oxford. Landsman on Quantization of Poisson Algebras Associated to Lie Algebroids ...