On the free construction of autonomous categories (aka rigid monoidal categories) from plain monoidal categories:
Discussion of sheet diagrams for rig categories is in
Last revised on June 2, 2024 at 22:39:02. See the history of this page for a list of all contributions to it.