On the formal theory of pseudomonads and pseudodistributive laws

zbMath1457.18023arXiv0907.1359MaRDI QIDQ5150014

Nicola Gambino, Gabriele Lobbia

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/0907.1359

zbMATH Keywords

distributive lawspseudomonadsGray-categories

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) 2-categories, bicategories, double categories (18N10)

Related Items

A skew approach to enrichment for Gray-categories, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudo-distributive laws and axiomatics for variable binding
• A 2-categorical pasting theorem
• A coherent approach to pseudomonads
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• The formal theory of monads. II
• Distributive laws for pseudomonads. II
• Distributive laws via admissibility
• Polycategories via pseudo-distributive laws
• The formal theory of monads
• Operads, Clones, and Distributive Laws
• The low-dimensional structures formed by tricategories
• Coherent Extensions and Relational Algebras
• Coherence for tricategories
• Coherence in Three-Dimensional Category Theory
• The cartesian closed bicategory of generalised species of structures
• Profunctors, open maps and bisimulation
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics