Автор: Jean-Pierre Marquis Название: From a Geometrical Point of View ISBN: 9048181178 ISBN-13(EAN): 9789048181179 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From a Geometrical Point of View explores historical and philosophical aspects of category theory and categorical logic, providing insight into their role and nature in contemporary mathematics.
Описание: 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.
Автор: 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.
Автор: Guillaume Br?mmer; Christopher Gilmour Название: Papers in Honour of Bernhard Banaschewski ISBN: 0792365194 ISBN-13(EAN): 9780792365198 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Arising from the 1996 Cape Town conference in honour of the mathematician Bernhard Banaschewski, this collection of 30 refereed papers represents developments in category theory, topology, topos theory, universal algebra, model theory, and diverse ordered and algebraic structures.
Автор: Wood Название: 2016 MATRIX Annals ISBN: 3319722980 ISBN-13(EAN): 9783319722986 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
MATRIX is Australia's international, residential mathematical research institute. It facilitates new collaborations and mathematical advances through intensive residential research programs, each lasting 1-4 weeks. This book is a scientific record of the five programs held at MATRIX in its first year, 2016:
- Higher Structures in Geometry and Physics
- Winter of Disconnectedness
- Approximation and Optimisation
- Refining C*-Algebraic Invariants for Dynamics using KK-theory
- Interactions between Topological Recursion, Modularity, Quantum Invariants and Low-dimensional Topology
The MATRIX Scientific Committee selected these programs based on their scientific excellence and the participation rate of high-profile international participants. Each program included ample unstructured time to encourage collaborative research; some of the longer programs also included an embedded conference or lecture series.
The articles are grouped into peer-reviewed contributions and other contributions. The peer-reviewed articles present original results or reviews on selected topics related to the MATRIX program; the remaining contributions are predominantly lecture notes based on talks or activities at MATRIX.
Описание: 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 Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: David Pitt; David E. Rydeheard; Peter Johnstone Название: Category Theory and Computer Science ISBN: 3540601643 ISBN-13(EAN): 9783540601647 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings document the exploitation of links between logic and category theory, leading to a solid basis of much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics.
Автор: 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.
Автор: Yau Donald Название: Involutive Category Theory ISBN: 3030612023 ISBN-13(EAN): 9783030612023 Издательство: Springer Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph introduces involutive categories and involutive operads, featuring applications to the GNS construction and algebraic quantum field theory.
Автор: 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 Рейтинг: Цена: 2851.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: The purpose of the book is to advance in the understanding of brain function by defining a general framework for representation based on category theory. The idea is to bring this mathematical formalism into the domain of neural representation of physical spaces, setting the basis for a theory of mental representation, able to relate empirical findings, uniting them into a sound theoretical corpus. The innovative approach presented in the book provides a horizon of interdisciplinary collaboration that aims to set up a common agenda that synthesizes mathematical formalization and empirical procedures in a systemic way. Category theory has been successfully applied to qualitative analysis, mainly in theoretical computer science to deal with programming language semantics. Nevertheless, the potential of category theoretic tools for quantitative analysis of networks has not been tackled so far. Statistical methods to investigate graph structure typically rely on network parameters. Category theory can be seen as an abstraction of graph theory. Thus, new categorical properties can be added into network analysis and graph theoretic constructs can be accordingly extended in more fundamental basis. By generalizing networks using category theory we can address questions and elaborate answers in a more fundamental way without waiving graph theoretic tools. The vital issue is to establish a new framework for quantitative analysis of networks using the theory of categories, in which computational neuroscientists and network theorists may tackle in more efficient ways the dynamics of brain cognitive networks. The intended audience of the book is researchers who wish to explore the validity of mathematical principles in the understanding of cognitive systems. All the actors in cognitive science: philosophers, engineers, neurobiologists, cognitive psychologists, computer scientists etc. are akin to discover along its pages new unforeseen connections through the development of concepts and formal theories described in the book. Practitioners of both pure and applied mathematics e.g., network theorists, will be delighted with the mapping of abstract mathematical concepts in the terra incognita of cognition.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
