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