H. Andreḱa

• Generalization of the concept of variety and quasivariety to partial algebras through category theory