Online algebra seminar - 19th of August, 1pm PDF Print

We will continue online on Thursday, 19th of August, at 13.00 CEST on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Charles Walker

The nerve of a relative monad

In this talk we will consider an embedding of monads into double categories, which sends a monad P to its (concrete) double category of P-embeddings (also called P split monos), as well as generalizations of this embedding the setting of (well-behaved) relative monads. By considering a more general notion of monad morphism (motivated by the relative setting), we will understand this embedding as a fully faithful nerve which exhibits the terminal monad as 'dense' with respect to these more general morphisms.

We will then give two applications of this construction. Firstly, we will give another approach by which one arrives at the “decagon type” axioms of last time, and secondly we will give a simpler proof of the reduced form of pseudo-distributive laws involving lax-idempotent pseudomonads. Note that some parts are a work in progress.

Last Updated on Monday, 16 August 2021 15:01