Preservation of Equations by Monoidal Monads

Autor: Parlant, Louis, Rot, Jurriaan, Silva, Alexandra, Westerbaan, Bas

If a monad $T$ is monoidal, then operations on a set $X$ can be lifted canonically to operations on $TX$. In this paper we study structural properties under which $T$ preserves equations between those operations. It has already been shown that any mo

Externí odkaz: http://arxiv.org/abs/2001.06348

Coherence for Monoidal Monads and Comonads

Autor: Dosen, K., Petric, Z.

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor (this mea

Externí odkaz: http://arxiv.org/abs/0907.2199

Preservation of Equations by Monoidal Monads

Autor: Parlant, L., Rot, J., Silva, A., Westerbaan, Bas., Esparza, J.

Publikováno v: Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), 77:1-77:14. Dagstuhl : Schloss Dagstuhl
STARTPAGE=77:1;ENDPAGE=77:14;ISSN=1868-8969;TITLE=Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)
Esparza, J. (ed.), 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), pp. 77:1-77:14

If a monad $T$ is monoidal, then operations on a set $X$ can be lifted canonically to operations on $TX$. In this paper we study structural properties under which $T$ preserves equations between those operations. It has already been shown that any mo

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

The formal theory of monoidal monads

Autor: Marek Zawadowski

Publikováno v: Journal of Pure and Applied Algebra. 216:1932-1942

We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg-Moore algebras for an oplax monoidal monad, we always have a natural monoidal structu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e7031ea3f7cf5a538ac2cbda700f2768
https://doi.org/10.1016/j.jpaa.2012.02.030

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