Decomposing Comonad Morphisms.

DOI10.4230/LIPIcs.CALCO.2019.14OpenAlexW2989855374MaRDI QIDQ5875355

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

lensescofunctorscomonad morphisms and comonad coalgebrascontainer comonadscontainer functors (polynomial functors)

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combining algebraic effects with continuations
• Container combinatorics: monads and lax monoidal functors
• A semantics for shape
• Containers: Constructing strictly positive types
• When is a container a comonad?
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Polynomial functors and polynomial monads
• Directed Containers as Categories
• Polynomials in categories with pullbacks
• Types for Proofs and Programs

This page was built for publication: Decomposing Comonad Morphisms.