/Category/

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