Mario Román

Search

Search IconIcon to open search

Strictification of a monoidal category

Last updated May 18, 2023

strictification-of-a-monoidal-category

Tags: Monoidal category, Coherence for monoidal categories