Categorical positive Horn theories
axiomatizable class of algebraic systems
scientific article; zbMATH DE number 3700799