Automata and Algebras in Categories, Jir? Ad?mek; Vera Trnkov?
Автор: 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.
Автор: Peter J. Cameron Название: Sets, Logic and Categories ISBN: 1852330562 ISBN-13(EAN): 9781852330569 Издательство: Springer Рейтинг: Цена: 4884.00 р. Наличие на складе: Поставка под заказ.
Описание: Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Goedel`s Theorem, and the Skolem Paradox.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: Manfred Droste; Werner Kuich; Heiko Vogler Название: Handbook of Weighted Automata ISBN: 3642260497 ISBN-13(EAN): 9783642260490 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book covers all the main aspects of weighted automata and formal power series methods, ranging from theory to applications. The contributors are the leading experts in their respective areas. Chapters offer pointers to future research.
Автор: Yves Diers Название: Categories of Boolean Sheaves of Simple Algebras ISBN: 3540164596 ISBN-13(EAN): 9783540164593 Издательство: Springer Рейтинг: Цена: 3487.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
