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

Niles Johnson, Donald Yau

Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory si…