Kleisli category

Last updated Nov 12, 2024

• extension system for monads

Tags: Monad, bicategory, promonad, formal category theory, extension system for monads.