I'm looking for a list of basic facts regarding (category-theoretic) varieties, quasivarieties, and universal Horn categories, as well as information about which forgetful functors preserve what.
In particular, I'd like to know what we lose in the passage from variety to quasivariety to universal Horn category.