This week, 50 category theorists and software engineers working on “safeguarded AI” are meeting in Bristol. They’re being funded by £59 million from ARIA, the UK’s Advanced Research and Invention ...

August 2025's Entries Safeguarded AI Meeting This week, 50 category theorists and software engineers working on “safeguarded AI” are meeting in Bristol. (BT) Diversity from (LC) Diversity Jack Morava ...

This week, 50 category theorists and software engineers working on “ safeguarded AI ” are meeting in Bristol. They’re being funded by £59 million from ARIA, the UK’s Advanced Research and Invention ...

Today I heard from David Benson that Jack Morava died yesterday. This comes as such a huge shock that I can’t help but hope Benson was somehow misinformed. Morava has been posting comments to the ...

I’m wondering if there’s any way to see the extra + 1 2 here as arising from the Duflo isomorphism. I’m stuck because this would seem to require thinking of H as lying in the center of the universal ...

I’d like to share here a personal project which might be of interest to the readers of this blog: the Clowder Project. Clowder is a wiki and reference work for category theory built using the same ...

Kevin Coulembier has come out with a paper claiming to prove some conjectures that Todd Trimble, Joe Moeller and I made in 2-Rig extensions and the splitting principle: Kevin Coulembier, Invertible ...

Did you know that Lawvere did classified work on arms control in the 1960s, back when he was writing his thesis? Did you know that the French government offered him a job in military intelligence? The ...