Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory

Volume I: Symmetric Bimonoidal Categories and Monoidal Bicategories
Bimonoidal categories generalize ring structures lacking additive inverses. Unifying themes from algebraic K-theory and homotopy theory, they address coherence and strictification challenges with new proofs and corrections. Matrix constructions draw connections to quantum groups and topological quantum computation.
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.

UK Delivery:

• Free delivery on all orders of £10 or more.
• £1.49 delivery fee on orders below £10.
• UK orders are shipped via Royal Mail 2nd Class.

International Delivery:

• Flat rate delivery charges vary by country.

Dispatch and Delivery Times:

• All orders are shipped from our warehouse in Northampton, UK within 48 hours of receipt during working hours.
• UK mainland orders typically arrive within 3-5 working days via Royal Mail 2nd Class.
• International estimated delivery times:
• Europe & Channel Islands: 7 to 10 working days
• USA: 7 to 15 working days
• Rest of the World: 9 to 21 working days

View our full delivery infomation here.