Compact closed monoidal category

Last updated Jan 8, 2025