Strict monoidal categories and coherence

Last updated Feb 25, 2024