Presentations of pseudodistributive laws
Charles Walker

TL;DR
This paper explores various alternative presentations of pseudodistributive laws in category theory, simplifying coherence axioms and providing new perspectives on their structure and applications.
Contribution
It introduces multiple new forms of pseudodistributive laws, including a decagon and warping form, and reduces the coherence axioms needed in their monoidal definition.
Findings
Five coherence axioms suffice in the monoidal definition
Introduces a decagon form of pseudodistributive laws
Provides alternative presentations including pseudoalgebra and warping forms
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · Logic, programming, and type systems
