On algebras defined by operations and equations in a topos
scientific article; zbMATH DE number 3672523