Coherence for pseudodistributive laws revisited

MaRDI QIDQ5454628zbMATH OpenFDO

Authors Francisco Marmolejo, R. J. Wood

Publication date 31 March 2008

Full work available at URL https://eudml.org/doc/129527, http://www.emis.de/journals/TAC/volumes/20/5/20-05abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

coherencepseudomonadspseudo-distributive laws

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Recommendations

• scientific article; zbMATH DE number 1271223
• Distributive laws for relative monads
• On the formal theory of pseudomonads and pseudodistributive laws
• Distributive laws via admissibility
• Pseudo-distributive laws

Cited in

(11)

• The existential completion
• On the formal theory of pseudomonads and pseudodistributive laws
• Pseudo-distributive laws
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• On operads, bimodules and analytic functors
• Distributive laws via admissibility
• Presentations of pseudodistributive laws
• Completely and totally distributive categories. I.
• On lifting of biadjoints and lax algebras
• Laplaza sets, or how to select coherence diagrams for pseudo algebras
• scientific article; zbMATH DE number 6981655 (Why is no real title available?)

This page was built for publication: Coherence for pseudodistributive laws revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5454628)