Colax map of monads

Redirect to:

  • Lax functor