No label defined (Q4026893)

[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.