Following SoTFom II, which managed to feature three talks on Homotopy Type Theory, there is now a call for papers announced for SoTFoM III and The Hyperuniverse Programme, to be held in Vienna, ...

At the Topos Institute this summer, a group of folks started talking about thermodynamics and category theory. It probably started because Spencer Breiner and my former student Joe Moeller, both ...

This week in our seminar on Cohomology and Computation we continued discussing the bar construction, and drew some pictures of a classic example: Week 26 (May 31) - The bar construction, continued.

The math-blogosphere is abuzz with interest in the new Math Overflow, a mathematics questions and answers site. Already we at the Café have been helped with the answer to a query on the Fourier ...

Merry Christmas! It’s still Christmas here in California, despite what the time stamp on this blog may say. So, it’s not too late for one last present! Here’s one just for you, from Santa and his ...

A while back Gina asked why computer scientists should be interested in categories. Maybe you categorical computer scientists out there have your own favorite answers to this? I’d be glad to hear them ...

Category Theory and Biology Posted by David Corfield Some of us at the Centre for Reasoning here in Kent are thinking about joining forces with a bioinformatics group. Over the years I’ve caught ...

into some n -category called “target space” (ordinarily, tar = Pn(X) are n -paths in some “spacetime” X). Each such map is a configuration of the n -particle: one of many ways for it to sit in ...

If you missed the earlier parts of this series, you can see polished-up versions on my website: Part 1: integral octonions and the Coxeter group E 10. Also available here on the n -Category Café .

Let’s take a break from all this type theory and ∞ \infty -stuff and do some good old 2-dimensional category theory. Although as usual, I want to convince you that plain old 2-categories aren’t good ...

The Dynkin diagram of E6 has 2-fold symmetry: So, this Lie group has a nontrivial outer automorphism of order 2. This corresponds to duality in octonionic projective plane geometry! There’s an ...

The group Spin (10) acts as unitary transformations of the exterior algebra Λ ℂ 5 \Lambda \mathbb {C}^5. SU (5) is precisely the subgroup that preserves the grading on this exterior algebra. On the ...