DOIAbstract
AbstractMultivarieties are classes of algebras presented by exclusive-or's of equations. A full characterization of categories which are equivalent to multivarieties is presented, close to Lawvere's characterization of varieties. A comparison with Diers’ concept of multialgebraic category is presented: this is precisely a multivariety with effective equivalence relations. Besides, multialgebraic categories are shown to be precisely those categories which can be sketched by a (finite product, coproduct)-sketch
Add to ORKG