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

This is the homepage for the UT Geometry and Quantum Field Theory Seminar. At the organizational meeting we will flesh out the details of our plans for the semester. Below are some suggestions to get ...

and he okayed me posting them here. He’s taking the idea of categorifying the Riemann zeta function, explained in my paper, and going further, imagining what it might mean to categorify Riemann’s ...

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

The previous post introduced the plumbing calculus: typed channels, structural morphisms, two forms of composition, and agents as stateful morphisms with a protocol for managing their state. The ...

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

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

A complex abelian variety is a group in the category of smooth complex projective varieties. They’re called that because — wonderfully — they turn out to all be abelian! I’ve been studying holomorphic ...

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

Bless British trains. A two-hour delay with nothing to occupy me provided the perfect opportunity to figure out the relationships between some of the results that John, Tobias and I have come up with ...

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

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