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 | https://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: |