As explained on this nlab page, for a 2-monad there is a double category of (strict) algebras, lax morphisms and colax morphisms of algebras. However it seems difficult to find a reference for this beside the nlab page: does anyone know a source with complementary information on this ?
Double category of algebras, lax and colax morphisms of algebras
Axel Osmond
- 403
- 3
- 8