/Category/Instance/

• ../
• Bisemimodules.agda
• Cospans.agda
• DecoratedCospans.agda
• FinitelyCocompletes.agda
• MonoidalPreorders.agda
• Nat
• One
• Preorder
• Preorders.agda
• Properties
• Rigs.agda
• Semimodules.agda
• Setoids
• SymMonCat.agda
• SymMonPre.agda