References & Citations
Mathematics > Category Theory
Title: Mapping Coalgebras I: Comonads
(Submitted on 21 Sep 2020 (v1), last revised 2 May 2022 (this version, 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.
Submission history
From: Brice Le Grignou [view email][v1] Mon, 21 Sep 2020 17:28:08 GMT (30kb,D)
[v2] Mon, 2 May 2022 20:36:14 GMT (44kb,D)
Link back to: arXiv, form interface, contact.