scientific article; zbMATH DE number 125200
[For the entire collection see Zbl 0745.00034.] Let \(\mathcal C\) be a category in which morphisms are monic, let \({\mathcal C}^*\) be a full subcategory of \(\mathcal C\) and \(U\) be an object of \(\mathcal C\). We say that \(U\) is \({\mathcal C}^*\)-universal if for any \(A\in{\mathcal C}^*\) there exists \(g: A\to U\), and \({\mathcal C}^*\)-homogeneous if for any \(A\in C^*\) and \(f,g: A\to U\) there is an automorphism \(h\) of \(U\) such that \(h\circ f=g\). \({\mathcal C}^*\) has the joint embedding property, if for any \(A,B\in{\mathcal C}^*\) there exists \(C\in{\mathcal C}^*\) and arrows \(f: A\to C\), \(g: B\to C\). \({\mathcal C}^*\) has the amalgamation property if for any \(A,B_ 1,B_ 2\in{\mathcal C}^*\) and arrows \(f_ i: A\to B_ i\) there are \(b\in{\mathcal C}^*\) and \(g_ i: B_ i\to B\) such that \(g_ 1\circ f_ 1=g_ 2\circ f_ 2\). The main result is: Let \(\lambda\) be a regular cardinal, and let \({\mathcal C}\) be a \(\lambda\)-algebroidal category in which all morphisms are monic. (a) There exists a \({\mathcal C}\)-universal \({\mathcal C}_{<\lambda}\)- homogeneous object \(U\) in \(\mathcal C\) iff \({\mathcal C}_{<\lambda}\) has the joint embedding and the amalgamation properties. (b) If a \({\mathcal C}\)- universal \({\mathcal C}_{<\lambda}\)-homogeneous object \(U\) exists in \(\mathcal C\), then it is unique up to isomorphism. This result generalizes the Fraïssé-Jónsson theorem from model theory, the Ulm theorem and some generalizations in Abelian group theory and applies also to theoretical computer science, more precisely to domain theory.
- The theory of the exponential differential equations of semiabelian varieties
- The category of numbered Abelian groups
- On random relational structures
- Remarks about the history of Abelian groups in England and Germany.
- Groups isomorphic to all their non-trivial normal subgroups
- Fraïssé limits in comma categories
- Ax-Schanuel for linear differential equations
- Katětov functors
- Adequate predimension inequalities in differential fields
- Fraïssé's construction from a topos-theoretic perspective
- Homogeneous probability measures on the Cantor set
- Metrical universality for groups
- Countable random 𝑝-groups with prescribed Ulm-invariants
- Isometric uniqueness of a complementably universal Banach space for Schauder decompositions
- Fraïssé sequences: category-theoretic approach to universal homogeneous structures
- scientific article; zbMATH DE number 1258249 (Why is no real title available?)
- scientific article; zbMATH DE number 2061575 (Why is no real title available?)
- Weak Fraïssé categories
- scientific article; zbMATH DE number 4193975 (Why is no real title available?)
- On limits of betweenness relations
- Ultrahomogeneous tensor spaces
- Quasiminimality of complex powers
- On generic topological embeddings
- Universal locally finite maximally homogeneous semigroups and inverse semigroups
- Parovičenko spaces with structures
- Classification of some countable descendant-homogeneous digraphs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4026893)
