Presentations of Pseudodistributive Laws
Autoři | |
---|---|
Rok publikování | 2025 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Applied Categorical Structures |
Fakulta / Pracoviště MU | |
Citace | |
www | https://doi.org/10.1007/s10485-024-09798-5 |
Doi | http://dx.doi.org/10.1007/s10485-024-09798-5 |
Klíčová slova | Pseudodistributive laws; No-iteration; Pseudomonads; Warpings |
Popis | By considering the situation in which the involved pseudomonads are presented in no-iteration form, we deduce a number of alternative presentations of pseudodistributive laws including a "decagon" form, a pseudoalgebra form, a no-iteration form, and a warping form. As an application, we show that five coherence axioms suffice in the usual monoidal definition of a pseudodistributive law. |
Související projekty: |