The slice classification of categories of coalgebras for comonads
- 33 Downloads
We prove that the category G Set of all G-coalgebras in s-equivalent to the category Alg(1) of all unary algebras iff the functional part G of G is not a product of the identity functor I and a constant functor.
Unable to display preview. Download preview PDF.