Categories for the Working Mathematician, Mac Lane

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

Автор: John C. Baez; J. Peter May
Название: Towards Higher Categories
ISBN: 1441915230 ISBN-13(EAN): 9781441915238
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

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

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