Stability of algebraic inverse systems, I: Stability, weak stability and the weakly-stable socle
The general theory of J’onsson-classes is generalized to strongly smooth quasiconstructs in such a way that it also allows the construction of universal categories. One example of the theory is the existence of a concrete universal category over every base category. Properties are given which are (under certain conditions) equivalent to the existence of homogeneous universal objects. Thereby, we disprove the existence of a homogeneous C-universal category. The notion of homogeneity is strengthened...
In an earlier paper, the authors showed that standard semigroups , and play an important role in the classification of weaker versions of alg-universality of semigroup varieties. This paper shows that quasivarieties generated by and are neither relatively alg-universal nor -universal, while there do exist finite semigroups and generating the same semigroup variety as and respectively and the quasivarieties generated by and/or are quasivar-relatively -alg-universal and -universal...