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 11, 2008 On planar algebras interpreted as 2D TFTs with defect lines. Aaronson on the Nature of Quantum Mechanics Jan 16, 2007 Scott Aaronson on the nature of quantum mechanics. Quantum Theory and ...

Feb 6, 2008 An article on the relation between smooth 2-functors with values in strict 2-groups, and an outline of the big picture that this sits in. Mapping (Co)cylinder Factorizations via the Small ...

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

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

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

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

The Notices of the AMS has just published the second in its series “Mathematicians discuss the Snowden revelations”. (The first was here.) The introduction to the second article cites this blog for “a ...

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

Here’s an incredible fact: of the 50 billion or so groups of order at most 2000, more than 99% have order 1024. This was announced here: Hans Ulrich Besche, Bettina Eick, E.A. O’Brien, The groups of ...