/Category/Instance/

• ../
• Cospans.agda
• DecoratedCospans.agda
• FinitelyCocompletes.agda
• Nat
• One
• Properties
• Setoids