Towards Higher Categories, John C. Baez; J. Peter May

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

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

Автор: Michael Winter
Название: Goguen Categories
ISBN: 9048175542 ISBN-13(EAN): 9789048175543
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices, this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures.