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.