Sep 10, 2014 Guest post by Bruce Bartlett I recently put an article on the arXiv: Bruce Bartlett, Quasistrict symmetric monoidal 2-categories via wire diagrams. It’s about Chris Schommer-Pries’s ...

May 18, 2009 Help John Baez write a paper on the prehistory of n-categorical physics — the prehistory of a history that hasn’t quite started yet.

These seven equations between binomial coefficients are ‘coincidences’ — they aren’t among the four known infinite families of such equations: At that time, he and his collaborators checked there were ...

These are notes for the talk I’m giving at the Edinburgh Category Theory Seminar this Wednesday, based on work with Joe Moeller and Todd Trimble. (No, the talk will not be recorded.) They still have ...

Let’s climb up to the E 6 root polytope starting with some of its 4-dimensional faces, which are called 4-demicubes because you get them by taking a 4-dimensional cube, or tesseract, and removing ...

I’m in Regensburg this week attending a workshop on Interactions of Proof Assistants and Mathematics. One of the lecture series is being given by John Harrison, a Senior Principal Applied Scientist in ...

This is the first of a series of posts on how large cardinals look in categorical set theory. My primary interest is not actually in large cardinals themselves. What I’m really interested in is ...

I want to talk about some attempts to connect the Standard Model of particle physics to the octonions. I should start out by saying I don’t have any big agenda here. It’d be great if the octonions — ...

It’s long been a mystery why there are 3 generations of quarks and leptons: three sets of particles, apparently identical except for how they interact with the Higgs boson. It would be nice if there ...

Most recently, the Applied Category Theory Seminar took a step into linguistics by discussing the 2010 paper Mathematical Foundations for a Compositional Distributional Model of Meaning, by Bob Coecke ...

Back to modal HoTT. If what was considered last time were all, one would wonder what the fuss was about. Now, there’s much that needs to be said about type dependency, types as propositions, sets, ...

We start by introducing Petri nets and elementary Petri nets, which will be the focus of this post. In general, the weight of each condition can be an integer. In the case of elementary Petri nets, ...