论文标题
映射山地I：ComOnads
Mapping Coalgebras I: Comonads
论文作者
论文摘要
在本文中，我们描述了从2类camoNADS到2类函数的2函数的属性，该函数将comonad发送给其健忘的函数。这使我们能够描述上下文，在这种情况下，在单子上的代数被张开并在comoNAD上进行了封闭的封闭式。
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.
