Ukážeme, že pro funktor G zachovávající průniky je kategorie Coalg G všech G-koalgeber univerzální, pokud funktor G není lineární. Různé typy univerzality jsou studovány.