How to Sketch Quasivarieties Original Research Article

We introduce the concept of separated limit sketch and prove that quasivarieties of algebras are precisely the categories sketchable by separated limit sketches. We also characterize categories sketchable by product-mono sketches as precisely the quasivarieties with effective ω-strong equivalence relations.