On string diagrams for discussion of coherence and strictification for symmetric monoidal categories:
Created on October 8, 2024 at 12:25:29. See the history of this page for a list of all contributions to it.