"A categorical characterization of varieties" - читать интересную книгу автора (Adamek J.)