/Category/Diagram/

• ../
• Cospan.agda
• Pushout.agda