Coend Calculus
Download Coend Calculus full books in PDF, epub, and Kindle. Read online free Coend Calculus ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : Fosco Loregian |
Publisher | : Cambridge University Press |
Total Pages | : 331 |
Release | : 2021-07-22 |
Genre | : Mathematics |
ISBN | : 1108746128 |
This easy-to-cite handbook gives the first systematic treatment of the (co)end calculus in category theory and its applications.
Author | : Saunders Mac Lane |
Publisher | : Springer Science & Business Media |
Total Pages | : 320 |
Release | : 2013-04-17 |
Genre | : Mathematics |
ISBN | : 1475747217 |
An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.
Author | : Gregory Maxwell Kelly |
Publisher | : CUP Archive |
Total Pages | : 260 |
Release | : 1982-02-18 |
Genre | : Mathematics |
ISBN | : 9780521287029 |
Author | : Orna Kupferman |
Publisher | : Springer Nature |
Total Pages | : 575 |
Release | : 2023-04-20 |
Genre | : Computers |
ISBN | : 3031308298 |
This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Author | : Emily Riehl |
Publisher | : Cambridge University Press |
Total Pages | : 371 |
Release | : 2014-05-26 |
Genre | : Mathematics |
ISBN | : 1139952633 |
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.
Author | : Pavel Etingof |
Publisher | : American Mathematical Soc. |
Total Pages | : 362 |
Release | : 2016-08-05 |
Genre | : Mathematics |
ISBN | : 1470434415 |
Is there a vector space whose dimension is the golden ratio? Of course not—the golden ratio is not an integer! But this can happen for generalizations of vector spaces—objects of a tensor category. The theory of tensor categories is a relatively new field of mathematics that generalizes the theory of group representations. It has deep connections with many other fields, including representation theory, Hopf algebras, operator algebras, low-dimensional topology (in particular, knot theory), homotopy theory, quantum mechanics and field theory, quantum computation, theory of motives, etc. This book gives a systematic introduction to this theory and a review of its applications. While giving a detailed overview of general tensor categories, it focuses especially on the theory of finite tensor categories and fusion categories (in particular, braided and modular ones), and discusses the main results about them with proofs. In particular, it shows how the main properties of finite-dimensional Hopf algebras may be derived from the theory of tensor categories. Many important results are presented as a sequence of exercises, which makes the book valuable for students and suitable for graduate courses. Many applications, connections to other areas, additional results, and references are discussed at the end of each chapter.
Author | : Emily Riehl |
Publisher | : Courier Dover Publications |
Total Pages | : 273 |
Release | : 2017-03-09 |
Genre | : Mathematics |
ISBN | : 0486820807 |
Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.
Author | : Uli Fahrenberg |
Publisher | : Springer Nature |
Total Pages | : 272 |
Release | : |
Genre | : |
ISBN | : 3031682793 |
Author | : Birgit Richter |
Publisher | : Cambridge University Press |
Total Pages | : 402 |
Release | : 2020-04-16 |
Genre | : Mathematics |
ISBN | : 1108847625 |
Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.
Author | : Vladimir Dobrev |
Publisher | : Springer Nature |
Total Pages | : 526 |
Release | : 2023-01-29 |
Genre | : Mathematics |
ISBN | : 9811947511 |
This volume presents modern trends in the area of symmetries and their applications based on contributions to the Workshop "Lie Theory and Its Applications in Physics" held in Sofia, Bulgaria (on-line) in June 2021. Traditionally, Lie theory is a tool to build mathematical models for physical systems. Recently, the trend is towards geometrization of the mathematical description of physical systems and objects. A geometric approach to a system yields in general some notion of symmetry which is very helpful in understanding its structure. Geometrization and symmetries are meant in their widest sense, i.e., representation theory, algebraic geometry, number theory, infinite-dimensional Lie algebras and groups, superalgebras and supergroups, groups and quantum groups, noncommutative geometry, symmetries of linear and nonlinear partial differential operators, special functions, and others. Furthermore, the necessary tools from functional analysis are included. This is a big interdisciplinary and interrelated field. The topics covered in this Volume are the most modern trends in the field of the Workshop: Representation Theory, Symmetries in String Theories, Symmetries in Gravity Theories, Supergravity, Conformal Field Theory, Integrable Systems, Quantum Computing and Deep Learning, Entanglement, Applications to Quantum Theory, Exceptional quantum algebra for the standard model of particle physics, Gauge Theories and Applications, Structures on Lie Groups and Lie Algebras. This book is suitable for a broad audience of mathematicians, mathematical physicists, and theoretical physicists, including researchers and graduate students interested in Lie Theory.