Proof of coherence theorems (cf. coherence theorem for monoidal categories)…
for rig categories:
for compact closed categories:
Last revised on October 3, 2026 at 21:06:33. See the history of this page for a list of all contributions to it.