Central Submonads and Notions of Computation

Autor: Carette, Titouan, Lemonnier, Louis, Zamdzhiev, Vladimir

The notion of "centre" has been introduced for many algebraic structures in mathematics. A notable example is the centre of a monoid which always determines a commutative submonoid. Monads (in category theory) can be seen as generalisations of monoid

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::87e4171c80c23aa46bef3671a9deb03d
https://hal.science/hal-03662565

An equational notion of lifting monad

Autor: Anna Bucalo, Carsten Führmann, Alex Simpson

Publikováno v: Bucalo, A, Fuhrmann, C & Simpson, A 2003, ' An equational notion of lifting monad ', Theoretical Computer Science, vol. 294, no. 1?2, pp. 31-60 . https://doi.org/10.1016/S0304-3975(01)00243-2

We introduce the notion of an equational lifting monad: a commutative strong monad satisfying one additional equation (valid for monads arising from partial map classifiers). We prove that any equational lifting monad has a representation by a partia

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b7bb3a5d114d83fc086d70c364b378d2

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.