Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: A categorical characterization of varieties
Автор: Adamek J.
A simple, direct proof of the following characterization of varieties of (finitary)
algebras is presented: a cocomplete category is equivalent to a variety iff it has an algebraic generator, i.e., a regular generator which is exactly projective and finitely generated. This improves somewhat a recent restatement, due to Pedicchio and Wood, of the classical characterization theorem of Lawvere. A bijective correspondence between algebraic theories and algebraic generators is established.