Автор: Mac Lane Название: Categories for the Working Mathematician ISBN: 0387984038 ISBN-13(EAN): 9780387984032 Издательство: Springer Рейтинг: Цена: 7819.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.
Автор: Masaki Kashiwara, Pierre Schapira Название: Categories and Sheaves ISBN: 3642066208 ISBN-13(EAN): 9783642066207 Издательство: Springer Рейтинг: Цена: 10061.00 р. 11179.00-10% Наличие на складе: Есть (1 шт.) Описание:
Categories and sheaves, which emerged in the middle of the last century as an enrichment for the concepts of sets and functions, appear almost everywhere in mathematics nowadays.
This book covers categories, homological algebra and sheaves in a systematic and exhaustive manner starting from scratch, and continues with full proofs to an exposition of the most recent results in the literature, and sometimes beyond.
The authors present the general theory of categories and functors, emphasising inductive and projective limits, tensor categories, representable functors, ind-objects and localization. Then they study homological algebra including additive, abelian, triangulated categories and also unbounded derived categories using transfinite induction and accessible objects. Finally, sheaf theory as well as twisted sheaves and stacks appear in the framework of Grothendieck topologies.
Автор: Crole Название: Categories for Types ISBN: 0521457017 ISBN-13(EAN): 9780521457019 Издательство: Cambridge Academ Рейтинг: Цена: 10454.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Автор: Crole Название: Categories for Types ISBN: 0521450926 ISBN-13(EAN): 9780521450928 Издательство: Cambridge Academ Рейтинг: Цена: 19800.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Автор: K. Dosen Название: Cut Elimination in Categories ISBN: 9048152267 ISBN-13(EAN): 9789048152261 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.
Автор: Yves Diers Название: Categories of Boolean Sheaves of Simple Algebras ISBN: 3540164596 ISBN-13(EAN): 9783540164593 Издательство: Springer Рейтинг: Цена: 3487.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jir? Ad?mek; Vera Trnkov? Название: Automata and Algebras in Categories ISBN: 0792300106 ISBN-13(EAN): 9780792300106 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: K. Dosen Название: Cut Elimination in Categories ISBN: 0792357205 ISBN-13(EAN): 9780792357209 Издательство: Springer Рейтинг: Цена: 21655.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
