Автор: 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: 0521457017 ISBN-13(EAN): 9780521457019 Издательство: Cambridge Academ Рейтинг: Цена: 69690.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
