The conference particularly encourages participation from underrepresented groups. The organizers are committed to non-discrimination, equity, and inclusion. The code of conduct for the conference is ...

Many of you have heard murmurings about this book for several months now. I’m happy to report that it’s now out! Homotopy type theory: univalent foundations of mathematics, by the Univalent ...

Faster-than-light neutrinos? Boring… let’s see something really revolutionary. Edward Nelson, a math professor at Princeton, is writing a book called Elements in which he claims to prove the ...

Example: suppose we have a data structure representing an abstract address. An address is, alternatively, an email address or a postal address like in the previous example. We can try to extract a ...

In Part 1, I explained my hopes that classical statistical mechanics reduces to thermodynamics in the limit where Boltzmann’s constant k k approaches zero. In Part 2, I explained exactly what I mean ...

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

You probably know that the 2010 Fields Medals have been announced. The thing is, I’ve never succeeded in understanding the slightest thing about it. It’s as if it’s got a hard, shiny shell—it resists ...

When is it appropriate to completely reinvent the wheel? To an outsider, that seems to happen a lot in category theory, and probability theory isn’t spared from this treatment. We’ve had a useful ...

Last summer my students Brendan Fong and Blake Pollard visited me at the Centre for Quantum Technologies, and we figured out how to understand open continuous-time Markov chains! I think this is a ...

Over the last few years, I’ve been very slowly working up a short expository paper — requiring no knowledge of categories — on set theory done categorically. It’s now progressed to the stage where I’d ...

I don’t really think mathematics is boring. I hope you don’t either. But I can’t count the number of times I’ve launched into reading a math paper, dewy-eyed and eager to learn, only to have my ...

Here is the statement as I understand it to be, framed as a bijection of sets. My chief reference is the wonderful book Elliptic Curves, Modular Forms and their L-Functions by Álvaro Lozano-Robledo ...