On universal categories of coalgebras (Q607458): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2030755663 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: From Varieties of Algebras to Covarieties of Coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On tree coalgebras and coalgebra presentations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Endomorphisms of monadic Boolean algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Concreteness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5771659 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups represented by homeomorphism groups. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Types and coalgebraic structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Any boundable binding category contains a proper class of mutually disjoint copies of itself / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5343379 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A small final coalgebra theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4104118 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Full embeddability into categories of generalized algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every category is a factorization of a concrete one / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3698981 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3208855 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal coalgebra: A theory of systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Graphs with given infinite group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3867821 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3470521 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5546812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5574731 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639842 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
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