/Category/Instance/

• ../
• Cospans.agda
• DecoratedCospans.agda
• FinitelyCocompletes.agda
• MonoidalPreorders.agda
• MonoidalPreorders
• Nat
• One
• Preorders.agda
• Preorders
• Properties
• Setoids
• SymMonCat.agda
• SymMonPre.agda
• SymMonPre