Categories for Types, Crole

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