Mario Román

Search

Search IconIcon to open search

Strictification of a monoidal category

Last updated Oct 31, 2023

strictification-of-a-monoidal-category

Tags: monoidal category, Coherence for monoidal categories