December 25, 2018
HoTT 2019
Posted by John Baez
The first International Conference on Homotopy Type Theory, HoTT 2019, will take place from August 12th to 17th, 2019 at Carnegie Mellon University in Pittsburgh, USA. Here is the organizers’ announcement:
December 24, 2018
Category Theory 2019
Posted by Tom Leinster
As announced here previously, the major annual category theory meeting is taking place next year in Edinburgh, on 7-13 July. And after a week in the city of Arthur Conan Doyle, James Clerk Maxwell, Dolly the Sheep and the Higgs Boson, you can head off to Oxford for the Applied Category Theory 2019.
We’re now pleased to advertise our preliminary list of invited speakers, together with key dates for others who’d like to give talks.
December 23, 2018
Monads and Lawvere Theories
Posted by John Baez
guest post by Jade Master
I have a question about the relationship between Lawvere theories and monads.