/Category/

• ../
• Cartesian
• Cocomplete
• Construction
• Dagger
• Diagram
• Equivalence
• Instance
• KaroubiComplete.agda
• Monoidal