You can see details, and apply, here. The job starts now, essentially. The location is their wonderful office in Oxford, UK. It’s a full-time 2-year job with a salary of £47,665–52,430 per year. It’s ...

Hurrah! Bruce Bartlett has won the 2027 Levi L. Conant Prize for the best expository paper in either the Notices or Bulletin of the American Mathematical Society. He won it for his paper The quintic, ...

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

Freeman Dyson is a famous physicist who has also dabbled in number theory quite productively. If some random dude said the Riemann Hypothesis was connected to quasicrystals, I’d probably dismiss him ...

I’ve been blogging a bit about medieval math, physics and astronomy over on Azimuth. I’ve been writing about medieval attempts to improve Aristotle’s theory that velocity is proportional to force, ...

such that the following 5 5 diagrams commute: (for f: x 0 → x 1 f:x_0\to x_1 and y ∈ 풞 y\in\mathcal{C}, we write f ⊗ y f\otimes y to mean f ⊗ id y: x 0 ⊗ y → x 1 ⊗ y f\otimes\operatorname{id}_y: ...

Whether we grow up to become category theorists or applied mathematicians, one thing that I suspect unites us all is that we were once enchanted by prime numbers. It comes as no surprise then that a ...

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

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

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

This is part two of a three part series of expository posts on our paper Displayed Type Theory and Semi-Simplicial Types. In this part, we cover the main results of the paper.