Mario Román


Search IconIcon to open search

Strong promonad

Last updated Oct 31, 2023


Correspondence with effectful categories. Strong promonads may be read as Arrows (Hughes), or effectful categories that particularize into Freyd categories when the base is cartesian. There is a one-to-one correspondence between strong promonads and locally small effectful categories (Heunen, Jacobs; Theorem 5.4).


Tags: Promonad, effectful category, Old - Definition of strong promonad