Presentations of pseudodistributive laws
Category Theory
2025-01-06 v4
Abstract
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.
Cite
@article{arxiv.2102.12468,
title = {Presentations of pseudodistributive laws},
author = {Charles Walker},
journal= {arXiv preprint arXiv:2102.12468},
year = {2025}
}
Comments
Final author version; title changed; to appear in applied categorical structures