Mapping Coalgebras I: Comonads
Category Theory
2022-05-04 v2
Abstract
In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are enriched tensored and cotensored over coalgebras over a comonad.
Cite
@article{arxiv.2009.10041,
title = {Mapping Coalgebras I: Comonads},
author = {Brice Le Grignou},
journal= {arXiv preprint arXiv:2009.10041},
year = {2022}
}
Comments
49 pages