Title: Bimonoidal Categories, En-Monoidal Categories, and Algebraic K-Theory (The Set)