nLab pseudo-distributive law

Pseudo-distributive laws

Pseudo-distributive laws

Idea

A pseudo-distributive law is a vertical categorification of a distributive law, relating two pseudomonads on a bicategory. There are various different levels of weakness that such a thing can exist at. As with ordinary distributive laws, a pseudo-distributive law governs the lifting of one pseudomonad to the Eilenberg-Moore and Kleisli bicategories of the other.

Definition

See any of the references, particularly (CHP)

References

• Max Kelly, Coherence theorems for lax algebras and for distributive laws, Proceedings of the Sydney Category Seminar 1972-73.
• Francisco Marmolejo, Distributive laws for pseudomonads, TAC

Last revised on July 4, 2017 at 11:49:13. See the history of this page for a list of all contributions to it.