Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

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:

Continue reading “HoTT 2019” …
Posted at 6:21 AM UTC | Permalink | Post a Comment

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

Continue reading “Category Theory 2019” …
Posted at 3:44 PM UTC | Permalink | Followups (2)

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.

Continue reading “Monads and Lawvere Theories” …
Posted at 1:08 AM UTC | Permalink | Followups (2)