Автор: 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.
Автор: Boehm, Gabriella Название: Hopf algebras and their generalizations from a category theoretical point of view ISBN: 3319981366 ISBN-13(EAN): 9783319981369 Издательство: Springer Рейтинг: Цена: 41920.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These lecture notes provide a self-contained introduction to a wide range of generalizations of Hopf algebras. Multiplication of their modules is described by replacing the category of vector spaces with more general monoidal categories, thereby extending the range of applications.Since Sweedler's work in the 1960s, Hopf algebras have earned a noble place in the garden of mathematical structures. Their use is well accepted in fundamental areas such as algebraic geometry, representation theory, algebraic topology, and combinatorics. Now, similar to having moved from groups to groupoids, it is becoming clear that generalizations of Hopf algebras must also be considered. This book offers a unified description of Hopf algebras and their generalizations from a category theoretical point of view. The author applies the theory of liftings to Eilenberg–Moore categories to translate the axioms of each considered variant of a bialgebra (or Hopf algebra) to a bimonad (or Hopf monad) structure on a suitable functor. Covered structures include bialgebroids over arbitrary algebras, in particular weak bialgebras, and bimonoids in duoidal categories, such as bialgebras over commutative rings, semi-Hopf group algebras, small categories, and categories enriched in coalgebras.Graduate students and researchers in algebra and category theory will find this book particularly useful. Including a wide range of illustrative examples, numerous exercises, and completely worked solutions, it is suitable for self-study.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: David H. Pitt; Axel Poigne; David E. Rydeheard Название: Category Theory and Computer Science ISBN: 3540185089 ISBN-13(EAN): 9783540185086 Издательство: Springer Рейтинг: Цена: 51230.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Yanofsky, Noson S. (brooklyn College, City University Of New York) Название: Theoretical computer science for the working category theorist ISBN: 110879274X ISBN-13(EAN): 9781108792745 Издательство: Cambridge Academ Рейтинг: Цена: 19010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This Element presents the usual material taught in a yearlong course of theoretical computer science using the intuitive language and methodology of category theory. Perfect for students or professionals working in computers or physics, or mathematics.
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
