When is a container a comonad?
From MaRDI portal
Publication:2878762
DOI10.2168/LMCS-10(3:14)2014zbMath1338.68172arXiv1408.5809OpenAlexW2035890727MaRDI QIDQ2878762
James T. E. Chapman, Tarmo Uustalu, Danel Ahman
Publication date: 5 September 2014
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1408.5809
Related Items (8)
Coalgebraic update lenses ⋮ Partiality and Container Monads ⋮ Complexity bounds for container functors and comonads ⋮ Quotienting the delay monad by weak bisimilarity ⋮ Directed Containers as Categories ⋮ Protocol choice and iteration for the free cornering ⋮ Decomposing Comonad Morphisms. ⋮ Internal split opfibrations and cofunctors
Uses Software
This page was built for publication: When is a container a comonad?
