Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and alg

Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and alg

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 i

Category theory emerged in the 1940s in the work of Samuel Eilenberg and Saunders Mac Lane. It describes relationships between mathematical structures. Outside