Jun 8, 2009 You can now see the introduction to a paper James Dolan is writing about algebraic geometry for category theorists. You can also see 5 lectures he gave on this topic.

Sep 30, 2019 There will be a meeting on applied category theory on the weekend November 9–10 at U. C. Riverside. Here is the schedule.

Mar 17, 2021 A talk on “Mathematics in the 21st Century” at the Topos Institute Colloquium on Thursday March 25, 2021 at 18:00 UTC.

Sep 22, 2008 Question on simplicial group cocycles. Ginot and Stiénon on Characteristic Classes of 2-Bundles Jan 11, 2008 Stinot and Stienon on 2-bundles and their characteristic classes.

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

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

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

Peter Aczel was the initial advocate of such a thing here, and I think it’s a great idea. Given that computer proof assistants are not really yet sufficiently automated to make formalization of ...

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

The following is the greatest math talk I’ve ever watched! Etienne Ghys (with pictures and videos by Jos Leys), Knots and Dynamics, ICM Madrid 2006. [See below the fold for some links.] I wasn’t ...

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

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