Theoretical computer science for the working category theorist, Yanofsky, Noson S. (brooklyn College, City University Of New York)
Автор: Awodey, Steve Название: Introduction to Category Theory (Paperback) ISBN: 0199237182 ISBN-13(EAN): 9780199237180 Издательство: Oxford Academ Рейтинг: Цена: 57970.00 T Наличие на складе: Есть Описание: 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.
Автор: Brendan Fong, David I. Spivak Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality ISBN: 1108711820 ISBN-13(EAN): 9781108711821 Издательство: Cambridge Academ Рейтинг: Цена: 48570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Leinster Название: Basic Category Theory ISBN: 1107044243 ISBN-13(EAN): 9781107044241 Издательство: Cambridge Academ Рейтинг: Цена: 54910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Pierce, Benjamin C. Название: Basic Category Theory Fo ISBN: 0262660717 ISBN-13(EAN): 9780262660716 Издательство: MIT Press Рейтинг: Цена: 39500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.
Автор: S.E. Rodabaugh; Erich Peter Klement; Ulrich H?hle Название: Applications of Category Theory to Fuzzy Subsets ISBN: 0792315111 ISBN-13(EAN): 9780792315117 Издательство: Springer Рейтинг: Цена: 269260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Marek Ku?; Bart?omiej Skowron Название: Category Theory in Physics, Mathematics, and Philosophy ISBN: 3030308952 ISBN-13(EAN): 9783030308957 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes.
The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial ontology in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations.
Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science.
Автор: David H. Pitt; Axel Poigne; David E. Rydeheard Название: Category Theory and Computer Science ISBN: 3540185089 ISBN-13(EAN): 9783540185086 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Brendan Fong, David I. Spivak Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality ISBN: 1108482295 ISBN-13(EAN): 9781108482295 Издательство: Cambridge Academ Рейтинг: Цена: 108770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Eugenio Moggi; Giuseppe Rosolini Название: Category Theory and Computer Science ISBN: 354063455X ISBN-13(EAN): 9783540634553 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: David H. Pitt; Pierre-Louis Curien; Samson Abramsk Название: Category Theory and Computer Science ISBN: 354054495X ISBN-13(EAN): 9783540544951 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Yau Donald Название: Involutive Category Theory ISBN: 3030612023 ISBN-13(EAN): 9783030612023 Издательство: Springer Цена: 55890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This monograph introduces involutive categories and involutive operads, featuring applications to the GNS construction and algebraic quantum field theory.
Автор: Jon F. Carlson; Srikanth B. Iyengar; Julia Pevtsov Название: Geometric and Topological Aspects of the Representation Theory of Finite Groups ISBN: 3319940325 ISBN-13(EAN): 9783319940328 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These proceedings comprise two workshops celebrating the accomplishments of David J. Benson on the occasion of his sixtieth birthday. The papers presented at the meetings were representative of the many mathematical subjects he has worked on, with an emphasis on group prepresentations and cohomology. The first workshop was titled 'Groups, Representations, and Cohomology' and held from June 22 to June 27, 2015 at Sabhal M?r Ostaig on the Isle of Skye, Scotland. The second was a combination of a summer school and workshop on the subject of 'Geometric Methods in the Representation Theory of Finite Groups' and took place at the Pacific Institute for the Mathematical Sciences at the University of British Columbia in Vancouver from July 27 to August 5, 2016.
The contents of the volume include a composite of both summer school material and workshop-derived survey articles on geometric and topological aspects of the representation theory of finite groups. The mission of the annually sponsored Summer Schools is to train and draw new students, and help Ph.D students transition to independent research.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
