Kleisli category

Last updated May 3, 2024

Tags: Monad, bicategory, promonad, formal category theory