Lax map of monads

Redirect to:

• 2-category#Functors and natural transformations