An Invitation to Applied Category Theory: Seven Sketches in Compositionality, Brendan Fong, David I. Spivak

Автор: Awodey, Steve
Название: Introduction to Category Theory (Paperback)
ISBN: 0199237182 ISBN-13(EAN): 9780199237180
Издательство: Oxford Academ
Рейтинг:
Цена: 8696.00 р. 9662.00 -10%
Наличие на складе: Есть (1 шт.)
Описание: A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.

Автор: Leinster
Название: Basic Category Theory
ISBN: 1107044243 ISBN-13(EAN): 9781107044241
Издательство: Cambridge Academ
Рейтинг:
Цена: 8237.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Assuming little mathematical background, this short introduction to category theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time. Suitable for independent study or as a course book, it gives extensive explanations of the key concepts along with hundreds of examples and exercises.

Автор: S.E. Rodabaugh; Erich Peter Klement; Ulrich H?hle
Название: Applications of Category Theory to Fuzzy Subsets
ISBN: 0792315111 ISBN-13(EAN): 9780792315117
Издательство: Springer
Рейтинг:
Цена: 40389.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Comprehensively describes the deeper mathematical aspects of fuzzy sets, particularly those aspects which are category-theoretic in nature. Divided into four parts, this book contains bibliography, indices, and long chapters, which make it suitable as a text for advanced graduate students.

Автор: Brendan Fong, David I. Spivak
Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality
ISBN: 1108482295 ISBN-13(EAN): 9781108482295
Издательство: Cambridge Academ
Рейтинг:
Цена: 16315.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in science, engineering, and beyond. Each chapter discusses a real-world application using category-theoretic tools, all of which are introduced in an accessible way with many examples and exercises.

Автор: Dennis Dams; Ulrich Hannemann; Martin Steffen
Название: Concurrency, Compositionality, and Correctness
ISBN: 364211511X ISBN-13(EAN): 9783642115110
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Published in honor of Willem-Paul de Roever, this Festschrift volume contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. It addresses topics such as model checking, computer science and state machines, ontology and mereology of domains, game theory, and compiler correctness.

Автор: Job Zwiers
Название: Compositionality, Concurrency, and Partial Correctness
ISBN: 3540508457 ISBN-13(EAN): 9783540508458
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Steven Roman
Название: An Introduction to the Language of Category Theory
ISBN: 3319419161 ISBN-13(EAN): 9783319419169
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Поставка под заказ.

Описание: The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories.

Автор: David H. Pitt; Pierre-Louis Curien; Samson Abramsk
Название: Category Theory and Computer Science
ISBN: 354054495X ISBN-13(EAN): 9783540544951
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Domain theory: syntheticdomain theory develops domain theory internally in theconstructive universe of the effective topos.

Автор: David H. Pitt; Axel Poigne; David E. Rydeheard
Название: Category Theory and Computer Science
ISBN: 3540185089 ISBN-13(EAN): 9783540185086
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Eugenio Moggi; Giuseppe Rosolini
Название: Category Theory and Computer Science
ISBN: 354063455X ISBN-13(EAN): 9783540634553
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presenting the proceedings of the seventh International Conference on Category Theory and Computer Science, CTCS `97, this monograph addresses a range of topics in the field, including: reasoning principles for types; rewriting; program semantics; and structuring of logical systems.

Автор: S.E. Rodabaugh; Erich Peter Klement; Ulrich H?hle
Название: Applications of Category Theory to Fuzzy Subsets
ISBN: 9401051569 ISBN-13(EAN): 9789401051569
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book has a fundamental relationship to the International Seminar on Fuzzy Set Theory held each September in Linz, Austria. Beginning with the tenth Seminar, the intimate setting was retained, but each Seminar narrowed in theme;