Generalization of formal monad theory to lax functors

Kengo Hirata

We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first appro…