Proof of coherence theorems (cf. coherence theorem for monoidal categories)…
for rig categories:
for compact closed categories:
Created on June 4, 2023 at 15:06:01. See the history of this page for a list of all contributions to it.