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