Categorical Topology, Eraldo Giuli

Автор: B. Jacobs
Название: Categorical Logic and Type Theory,141
ISBN: 0444508538 ISBN-13(EAN): 9780444508539
Издательство: Elsevier Science
Рейтинг:
Цена: 111170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: M. Makkai; G.E. Reyes
Название: First Order Categorical Logic
ISBN: 3540084398 ISBN-13(EAN): 9783540084396
Издательство: Springer
Рейтинг:
Цена: 37220.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: D. Dikranjan; Walter Tholen
Название: Categorical Structure of Closure Operators
ISBN: 0792337727 ISBN-13(EAN): 9780792337720
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: J?rgen Koslowski; Austin Melton
Название: Categorical Perspectives
ISBN: 1461271177 ISBN-13(EAN): 9781461271178
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "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.