Towards the formal theory of homotopy coherent monads

Yuki Maehara – 5 February 2020

The 2-quasi-categorical Gray tensor product (which I talked about last time) allows us to define what the Eilenberg-Moore object of a monad is in this context. However, there is still more work to be done before we can reconstruct the formal theory of monads for 2-quasi-categories. This week, I will talk about this (unfinished) part of the story and conclude my PhD.