Category

Last updated Feb 22, 2025

• non-associative category
• monoidal category