|
libcats.org
A categorical characterization of varietiesAdamek 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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#4
Учимся общению: взаимопонимание, взаимодействие, переговоры, тренингСоснин В.А., Лунев П.А.
992 Kb
#10
Почвы Москвы и экология городаСтроганова М., Мягкова А., Прокофьева Т., Скворцова И.Категория: науки о земле
2.64 Mb
|
|