First Order Categorical Logic, M. Makkai; G.E. Reyes
Автор: B. Jacobs Название: Categorical Logic and Type Theory,141 ISBN: 0444508538 ISBN-13(EAN): 9780444508539 Издательство: Elsevier Science Рейтинг: Цена: 16675.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.
Автор: J?rgen Koslowski; Austin Melton Название: Categorical Perspectives ISBN: 1461271177 ISBN-13(EAN): 9781461271178 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Categorical Perspectives" consists of introductory surveys as well as articles containing original research and complete proofs devoted mainly to the theoretical and foundational developments of category theory and its applications to other fields. Bentley * G. Castellini * R. El Bashir * H. Husek * L. Melton * G. Schroeder * L. Strecker * A.
Автор: Eraldo Giuli Название: Categorical Topology ISBN: 9401066027 ISBN-13(EAN): 9789401066020 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the L`Aquila Conference 1994
Автор: D. Dikranjan; Walter Tholen Название: Categorical Structure of Closure Operators ISBN: 0792337727 ISBN-13(EAN): 9780792337720 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This study provides a comprehensive categorical theory of closure operators, with applications to topological and uniform spaces, groups, R-modules, fields and topological groups, as well as partially ordered sets and graphs. Knowledge of algebra, topology, and category theory is assumed.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru