Decomposing Comonad Morphisms.

DOI10.4230/LIPICS.CALCO.2019.14MaRDI QIDQ5875355zbMATH OpenOpenAlexFDO

Authors Danel Ahman, Tarmo Uustalu

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPIcs.CALCO.2019.14

zbMATH Keywords

cofunctorscomonad morphisms and comonad coalgebrascontainer comonadscontainer functors (polynomial functors)lenses

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Decomposition of comodules
• Decomposition of comodules
• Decompositions of comodules
• A decomposition theory of comodules
• scientific article; zbMATH DE number 1538997
• scientific article; zbMATH DE number 4080171
• Relation between decomposition of comodules and coalgebras
• Decomposable functors and the exponential principle
• scientific article; zbMATH DE number 596343
• Decomposability of bimodule maps

Cites work

• A semantics for shape
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Combining algebraic effects with continuations
• Container combinatorics: monads and lax monoidal functors
• Containers: Constructing strictly positive types
• Directed containers as categories
• Double clubs
• From comodels to coalgebras: state and arrays
• scientific article; zbMATH DE number 431766 (Why is no real title available?)
• scientific article; zbMATH DE number 54075 (Why is no real title available?)
• Polynomial functors and polynomial monads
• Polynomials in categories with pullbacks
• Types for Proofs and Programs
• When is a container a comonad?

Cited in

(2)

• A decomposition theory of comodules
• No go theorems: directed containers that do not distribute over distribution monads

This page was built for publication: Decomposing Comonad Morphisms.

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