Australian Category Seminar

Towards the formal theory of homotopy coherent monads

Yuki Maeharaยท5 Feburary 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.

Back