Categories for Types, Crole

Автор: Mac Lane
Название: Categories for the Working Mathematician
ISBN: 0387984038 ISBN-13(EAN): 9780387984032
Издательство: Springer
Рейтинг:
Цена: 52130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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: 0521450926 ISBN-13(EAN): 9780521450928
Издательство: Cambridge Academ
Рейтинг:
Цена: 132000.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.

Автор: John C. Baez; J. Peter May
Название: Towards Higher Categories
ISBN: 1441915230 ISBN-13(EAN): 9781441915238
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Here is a guide to the theory of higher categorical structures. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures.

Автор: Michael Winter
Название: Goguen Categories
ISBN: 9048175542 ISBN-13(EAN): 9789048175543
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.