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.

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.

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

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

This is a monoidal bicategory, since we can take the tensor product of algebras, and everything else gets along nicely with that. But Jacob Lurie said the Postnikov invariants are trivial in this case ...

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

On a scale of 0 to 10, how much does the average citizen of the Republic of Elbonia trust the president? You’re conducting a survey to find out, and you’ve calculated that in order to get the ...