Mario Román

Search

Kleisli category

Last updated May 18, 2023

kleisli-category

Tags: Monad, Bicategory, Promonad, Formal category theory

Made by Mario Román using Quartz and Obsidian, CC BY-SA 2023 (How to cite)

Home
ArXiv
Github