/Category/Instance/

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