Mario Román

Search

Search IconIcon to open search

Kleisli category

Last updated Sep 8, 2023

kleisli-category

Tags: Monad, bicategory, Promonad, formal category theory