On universal categories of coalgebras (Q607458): Difference between revisions
From MaRDI portal
Latest revision as of 12:44, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On universal categories of coalgebras |
scientific article |
Statements
On universal categories of coalgebras (English)
0 references
22 November 2010
0 references
A category \({\mathcal K}\) is algebraically universal if any category of universal algebras can be fully embedded into \({\mathcal K}\). It can be reformulated in the way that the category of \(F\)-algebras can be fully embedded into \(\mathcal K\) for any accessible functor \(F:{\mathcal S}et\to{\mathcal S}et\). The authors prove that this is equivalent to the fact that the category \({\mathcal C}oalg(F)\) of \(F\)-coalgebras can be fully embedded into \({\mathcal K}\) for each accessible functor \(F\) above. Moreover, among functors \(F\) preserving intersections, there are characterized those having \({\mathcal C}oalg(F)\) algebraically universal. A category \({\mathcal K}\) is universal if any concrete category can be fully embedded into \({\mathcal K}\). There are analogous results for universal categories, without assuming that \(F\) is accessible in this case.
0 references
universal category
0 references
categories of coalgebras
0 references
0 references