some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness.in this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by bernhard banaschewski and walt...

We develop a method of creating skew congruences on subpowers of finite algebras using groups of twin polynomials, and apply it to the investigation of residually small varieties generated by nilpotent algebras. We prove that a residually small variety generated by a finite nilpotent (in particular, a solvable Eminimal) algebra is weakly abelian. Conversely, we show in two special cases that a ...

Some of the so called smallness conditions in algebra as well as in category theory, are important and interesting for their own and also tightly related to injectivity, are essential boundedness, cogenerating set, and residual smallness. In this overview paper, we first try to refresh these smallness condition by giving the detailed proofs of the results mainly by Bernhard Banaschewski and W...

We describe a new way to construct large subdirectly irreducibles within an equational class of algebras. We use this construction to show that there are forbidden geometries of multitraces for finite algebras in residually small equational classes. The construction is first applied to show that minimal equational classes generated by simple algebras of types 2, 3 or 4 are residually small if a...