Mario Román

Search

Search IconIcon to open search

Kleisli category

Last updated May 18, 2023

kleisli-category

Tags: Monad, Bicategory, Promonad, Formal category theory