Pseudo-distributive laws
From MaRDI portal
Publication:276490
DOI10.1016/S1571-0661(03)50012-3zbMath1338.18022DBLPconf/mfps/ChengHP03WikidataQ56850711 ScholiaQ56850711MaRDI QIDQ276490
Eugenia Cheng, J. M. E. Hyland, A. John Power
Publication date: 3 May 2016
Categorical logic, topoi (03G30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (8)
Pseudo-distributive laws and axiomatics for variable binding ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ Polycategories via pseudo-distributive laws ⋮ On operads, bimodules and analytic functors ⋮ Weak \(n\)-categories: Opetopic and multitopic foundations. ⋮ Elements of a theory of algebraic theories ⋮ Distributive laws via admissibility ⋮ Unnamed Item
This page was built for publication: Pseudo-distributive laws
