Coherence for pseudodistributive laws revisited

zbMATH Open1153.18005MaRDI QIDQ5454628FDOQ5454628

Authors: Francisco Marmolejo, R. J. Wood 

Publication date: 31 March 2008

Full work available at URL: https://eudml.org/doc/129527

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

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

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)

Cited In (9)

• The existential completion
• On the formal theory of pseudomonads and pseudodistributive laws
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Distributive laws via admissibility
• Completely and totally distributive categories. I.
• On lifting of biadjoints and lax algebras
• Title not available (Why is that?)
• On operads, bimodules and analytic functors
• Laplaza sets, or how to select coherence diagrams for pseudo algebras

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)