Presentations of Pseudodistributive Laws
| Authors | |
|---|---|
| Year of publication | 2025 |
| Type | Article in Periodical |
| Magazine / Source | Applied Categorical Structures |
| MU Faculty or unit | |
| Citation | |
| web | https://doi.org/10.1007/s10485-024-09798-5 |
| Doi | http://dx.doi.org/10.1007/s10485-024-09798-5 |
| Keywords | Pseudodistributive laws; No-iteration; Pseudomonads; Warpings |
| Description | 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. |
| Related projects: |