A categorical characterization of varieties
 |
|
Описание:
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.Похожие книги
 | One-parameter semigroups of positive operators Автор: Wolfgang Arendt Год: 1986 |
| Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction Автор: Markus Müller-Olm Год: 1997 |
 | Boiler (Steam Generator) Год: 2011 |
 | Character Generator Год: 2011 |
 | Diesel generator Год: 2011 |