Categories and Sheaves, Masaki Kashiwara, Pierre Schapira

Автор: 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.

Автор: 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.

Автор: 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 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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: 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.

Автор: 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.

Автор: C.T. Dodson
Название: Categories, Bundles and Spacetime Topology
ISBN: 9027727716 ISBN-13(EAN): 9789027727718
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Gad in Crane Feathers' in R. Brown'The point of a Pin'. van Gulik's TheChinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging SUbdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.