On universal categories of coalgebras

Abstract

We prove that for a functor G preserving intersections, the category Coalg G of all G-coalgebras is universal unless the functor G is linear. Various types of universality are investigated.

Keywords

• universal categories
• coalgebras