/Category/

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