2000 character limit reached
Mapping Coalgebras I: Comonads (2009.10041v2)
Published 21 Sep 2020 in math.CT
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.