Motivating monoidal categories

Last updated Oct 3, 2022