On quasivarieties and varieties as categories (Q1770598)

The paper deals with a classical topic of category theory because the first characterizations of varieties and quasivarieties of universal algebras were found by F. W. Lawvere and J. R. Isbell in the early 1960s. The author weakens their assumptions with the aim to get ``optimum'' characterizations. The motivating idea is to combine cocompleteness with a suitable notion of a generator. The paper is written in a way accessible both to a category theorist and to a universal algebraist.