Kleisli category

Last updated Sep 8, 2023

Tags: Monad, bicategory, Promonad, formal category theory