Decomposing Comonad Morphisms.
From MaRDI portal
Publication:5875355
DOI10.4230/LIPICS.CALCO.2019.14OpenAlexW2989855374MaRDI QIDQ5875355FDOQ5875355
Authors: Danel Ahman, Tarmo Uustalu 
Publication date: 3 February 2023
Full work available at URL: https://doi.org/10.4230/LIPIcs.CALCO.2019.14
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
lensescofunctorscomonad morphisms and comonad coalgebrascontainer comonadscontainer functors (polynomial functors)
Cites Work
- Combining algebraic effects with continuations
- Containers: Constructing strictly positive types
- From comodels to coalgebras: state and arrays
- When is a container a comonad?
- Polynomials in categories with pullbacks
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Polynomial functors and polynomial monads
- Types for Proofs and Programs
- Title not available (Why is that?)
- A semantics for shape
- Double clubs
- Container combinatorics: monads and lax monoidal functors
- Title not available (Why is that?)
- Directed containers as categories
Cited In (1)
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)
