Download Free Bimonoidal Categories E N Monoidal Categories And Algebraic K Theory Book in PDF and EPUB Free Download. You can read online Bimonoidal Categories E N Monoidal Categories And Algebraic K Theory and write the review.

Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. The three books published by the AMS in the Mathematical Surveys and Monographs series under the general title Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory (Volume I: Symmetric Bimonoidal Categories and Monoidal Bicategories?this book, Volume II: Braided Bimonoidal Categories with Applications, and Volume III: From Categories to Structured Ring Spectra) provide a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user-friendly resource for beginners and experts alike. Part 1 of this book proves in detail Laplaza's two coherence theorems and May's strictification theorem of symmetric bimonoidal categories, as well as their bimonoidal analogues. This part includes detailed corrections to several inaccurate statements and proofs found in the literature. Part 2 proves Baez's Conjecture on the existence of a bi-initial object in a 2-category of symmetric bimonoidal categories. The next main theorem states that a matrix construction, involving the matrix product and the matrix tensor product, sends a symmetric bimonoidal category with invertible distributivity morphisms to a symmetric monoidal bicategory, with no strict structure morphisms in general.
Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. The three books published by the AMS in the Mathematical Surveys and Monographs series under the general title Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory (Volume I: Symmetric Bimonoidal Categories and Monoidal Bicategories-this book, Volume II: Braided Bimonoidal Categories with Applications, and Volume III: From Categories to Structured Ring Spectra) provide a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user-friendly resource for beginners and experts alike. Part 1 of this book proves in detail Laplaza's two coherence theorems and May's strictification theorem of symmetric bimonoidal categories, as well as their bimonoidal analogues. This part includes detailed corrections to several inaccurate statements and proofs found in the literature. Part 2 proves Baez's Conjecture on the existence of a bi-initial object in a 2-category of symmetric bimonoidal categories. The next main theorem states that a matrix construction, involving the matrix product and the matrix tensor product, sends a symmetric bimonoidal category with invertible distributivity morphisms to a symmetric monoidal bicategory, with no strict structure morphisms in general.
Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications and questions of bimonoidal categories in mathematics and other sciences. The three books published by the AMS in the Mathematical Surveys and Monographs series under the title Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory (Volume I: Symmetric Bimonoidal Categories and Monoidal Bicategories, Volume II: Braided Bimonoidal Categories with Applications-this book, and Volume III: From Categories to Structured Ring Spectra) provide a unified treatment of bimonoidal and higher ring-like categories, their connection with algebraic $K$-theory and homotopy theory, and applications to quantum groups and topological quantum computation. With ample background material, extensive coverage, detailed presentation of both well-known and new theorems, and a list of open questions, this work is a user-friendly resource for beginners and experts alike. Part 1 of this book studies braided bimonoidal categories, with applications to quantum groups and topological quantum computation. It is proved that the categories of modules over a braided bialgebra, of Fibonacci anyons, and of Ising anyons form braided bimonoidal categories. Two coherence theorems for braided bimonoidal categories are proved, confirming the Blass-Gurevich Conjecture. The rest of this part discusses braided analogues of Baez's Conjecture and the monoidal bicategorical matrix construction in Volume I: Symmetric Bimonoidal Categories and Monoidal Bicategories. Part 2 studies ring and bipermutative categories in the sense of Elmendorf-Mandell, braided ring categories, and $E_n$-monoidal categories, which combine $n$-fold monoidal categories with ring categories.
This monograph is the first and only book-length reference for this material. Contents of Chapter 2, Chapter 3, Part 2, and Part 3 is new, not having appeared in any of the research literature. The book will appeal to mathematicians interested in topology. Book shelved as a reference title.
2-Dimensional Categories is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory.
The symposium held in honour of the 60th birthday of Graeme Segal brought together leading physicists and mathematicians. Its topics were centred around string theory, M-theory, and quantum gravity on the one hand, and K-theory, elliptic cohomology, quantum cohomology and string topology on the other. Geometry and quantum physics developed in parallel since the recognition of the central role of non-abelian gauge theory in elementary particle physics in the late seventies and the emerging study of super-symmetry and string theory. With its selection of survey and research articles these proceedings fulfil the dual role of reporting on developments in the field and defining directions for future research. For the first time Graeme Segal's manuscript 'The definition of Conformal Field Theory' is published, which has been greatly influential over more than ten years. An introduction by the author puts it into the present context.
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
This ambitious and original book sets out to introduce to mathematicians (even including graduate students ) the mathematical methods of theoretical and experimental quantum field theory, with an emphasis on coordinate-free presentations of the mathematical objects in use. This in turn promotes the interaction between mathematicians and physicists by supplying a common and flexible language for the good of both communities, though mathematicians are the primary target. This reference work provides a coherent and complete mathematical toolbox for classical and quantum field theory, based on categorical and homotopical methods, representing an original contribution to the literature. The first part of the book introduces the mathematical methods needed to work with the physicists' spaces of fields, including parameterized and functional differential geometry, functorial analysis, and the homotopical geometric theory of non-linear partial differential equations, with applications to general gauge theories. The second part presents a large family of examples of classical field theories, both from experimental and theoretical physics, while the third part provides an introduction to quantum field theory, presents various renormalization methods, and discusses the quantization of factorization algebras.
This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad.In Part 4 we define general monoidal categories equipped with an action operad equivariant structure and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras.