On universal categories of coalgebras

DOI10.1007/S00012-010-0077-0MaRDI QIDQ607458zbMATH OpenOpenAlexFDO

Authors Věra Trnková, Jiří Sichler

Publication date 22 November 2010

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/121260

zbMATH Keywords

categories of coalgebras universal category

Mathematics Subject Classification ID

Embedding theorems, universal categories (18B15)

Review text

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.

Recommendations

Cites work

Cited in

(29)

This page was built for publication: On universal categories of coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q607458)