Skip to main content
1 of 2

Double category of algebras, lax and colax morphisms of algebras

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 ?