/Category/

• ../
• Cocomplete
• Diagram
• Instance
• Monoidal