internalization and categorical algebra
algebra object (associative, Lie, …)
Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
The notion of a pseudo-distributive law is a vertical categorification of that 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.
See any of the references, particularly (Walker), who simplified the definition of Marmolejo (reducing from 8 conditions to 5).
If is a pseudo-commutative? 2-monad on Cat, then there is a pseudo-distributive law between and the 2-monad whose algebras are symmetric monoidal categories; see (Kelly).
Grothendieck fibrations and opfibrations on a category (or more generally an object of a suitable 2-category) are the algebras for a pair of pseudomonads. If has pullbacks, there is a pseudo-distributive law between these pseudomonads, whose joint algebras are the bifibrations satisfying the Beck-Chevalley condition; see (von Glehn).
generalized polycategories are naturally defined relative to a pseudo-distributive law on a Prof-like bicategory; see (Garner) for the canonical example of ordinary (symmetric) polycategories.
Pseudo-distributive laws involving lax-idempotent 2-monads have an especially nice form; see (Marmolejo) and (Walker).
Last revised on November 28, 2023 at 10:57:19. See the history of this page for a list of all contributions to it.