Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem
Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem
The category of internal coalgebras in a cocomplete category $\mathcal{C}$ with respect to a variety $\mathcal{V}$ is equivalent to the category of left adjoint functors from $\mathcal{V}$ into $\mathcal{C}$. This can be seen best when considering such coalgebras as finite coproduct preserving functors from $\mathcal{T}_\mathcal{V}^\mathsf{op}$, the dual of the Lawvere …