/Category/Monoidal/Instance/

• ../
• Cospans.agda
• Cospans