Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory PDF full book. Access full book title Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory by Donald Yau. Download full books in PDF and EPUB format.
Author: Donald Yau
Publisher: American Mathematical Society
ISBN: 1470478099
Category : Mathematics
Languages : en
Pages : 555
Get Book Here
Book Description
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.
Author: Donald Yau
Publisher: American Mathematical Society
ISBN: 1470478099
Category : Mathematics
Languages : en
Pages : 555
Get Book Here
Book Description
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.
Author: Niles Johnson
Publisher: American Mathematical Society
ISBN: 1470478110
Category : Mathematics
Languages : en
Pages : 633
Get Book Here
Book Description
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, and Volume III: From Categories to Structured Ring Spectra?this book) 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 is a detailed study of enriched monoidal categories, pointed diagram categories, and enriched multicategories. Using this machinery, Part 2 discusses the rich interconnection between the higher ring-like categories, homotopy theory, and algebraic $K$-theory. Starting with a chapter on homotopy theory background, the first half of Part 2 constructs the Segal $K$-theory functor and the Elmendorf-Mandell $K$-theory multifunctor from permutative categories to symmetric spectra. For the latter, the detailed treatment here includes identification and correction of some subtle errors concerning its extended domain. The second half applies the $K$-theory multifunctor to small ring, bipermutative, braided ring, and $E_n$-monoidal categories to obtain, respectively, strict ring, $E_{infty}$-, $E_2$-, and $E_n$-symmetric spectra.
Author: Donald Yau
Publisher: CRC Press
ISBN: 1003807461
Category : Mathematics
Languages : en
Pages : 361
Get Book Here
Book Description
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.
Author: Niles Johnson
Publisher: Oxford University Press (UK)
ISBN: 0198871376
Category : Computers
Languages : en
Pages : 636
Get Book Here
Book Description
Category theory emerged in the 1940s in the work of Samuel Eilenberg and Saunders Mac Lane. It describes relationships between mathematical structures. Outside of pure mathematics, category theory is an important tool in physics, computer science, linguistics, and a quickly-growing list of other sciences. This book is about 2-dimensional categories, which add an extra dimension of richness and complexity to category theory. 2-Dimensional Categories is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the Duskin nerve, 2-nerve, internal adjunctions, monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double categories. Completely detailed proofs of several fundamental but hard-to-find results are presented for the first time. With exercises and plenty of motivation and explanation, this book is useful for both beginners and experts.
Author: DONALD. YAU
Publisher:
ISBN: 9781470479411
Category :
Languages : en
Pages : 0
Get Book Here
Book Description
Author: Ulrike Luise Tillmann
Publisher: Cambridge University Press
ISBN: 9780521540490
Category : Mathematics
Languages : en
Pages : 596
Get Book Here
Book Description
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.
Author: Donald Yau
Publisher: American Mathematical Society
ISBN: 1470478102
Category : Mathematics
Languages : en
Pages : 439
Get Book Here
Book Description
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.
Author: Bruce A. Magurn
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 836
Get Book Here
Book Description
Author: Irek Ulidowski
Publisher: Springer Nature
ISBN: 3030473619
Category : Computers
Languages : en
Pages : 250
Get Book Here
Book Description
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.
Author: Rudolf Seising
Publisher: Springer
ISBN: 3642356419
Category : Technology & Engineering
Languages : en
Pages : 433
Get Book Here
Book Description
The notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through technical and formal advances on one side and useful applications on the other side, but also as consequence of the introduction and assimilation of new concepts in its corpus. These, in turn, produce new developments and applications. And this is what Fuzziness, one of the few new concepts arisen in the XX Century, has been doing so far. This book aims at paying homage to Professor Lotfi A. Zadeh, the “father of fuzzy logic” and also at giving credit to his exceptional work and personality. In a way, this is reflected in the variety of contributions collected in the book. In some of them the authors chose to speak of personal meetings with Lotfi; in others, they discussed how certain papers of Zadeh were able to open for them a new research horizon. Some contributions documented results obtained from the author/s after taking inspiration from a particular idea of Zadeh, thus implicitly acknowledging him. Finally, there are contributions of several “third generation fuzzysists or softies” who were firstly led into the world of Fuzziness by a disciple of Lotfi Zadeh, who, following his example, took care of opening for them a new road in science. Rudolf Seising is Adjoint Researcher at the European Centre for Soft Computing in Mieres, Asturias (Spain). Enric Trillas and Claudio Moraga are Emeritus Researchers at the European Centre for Soft Computing, Mieres, Asturias (Spain). Settimo Termini is Professor of Theoretical Computer Science at the University of Palermo, Italy and Affiliated Researcher at the European Centre for Soft Computing, Mieres, Asturias (Spain)
