Distributive laws of monadic containers

DOI10.4230/LIPICS.CALCO.2025.4MaRDI QIDQ7298143zbMATH OpenFDO

Authors Chris Purdy, Stefania Damato

Publication date 16 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CALCO.2025.4

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Automata, Languages and Programming
• Categories of containers
• Container combinatorics: monads and lax monoidal functors
• Containers: Constructing strictly positive types
• Cubical type theory: a constructive interpretation of the univalence axiom
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 756050 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• Monad compositions II: Kleisli strength
• Monad compositions. I: General constructions and recursive distributive laws
• Natural models of homotopy type theory
• No go theorems: directed containers that do not distribute over distribution monads
• Notions of computation and monads
• ON THE ZAPPA-SZÉP PRODUCT
• Types for Proofs and Programs
• When is a container a comonad?

This page was built for publication: Distributive laws of monadic containers

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