/Category/Monoidal/

• ../
• Coherence.agda
• Hypergraph.agda
• Hypergraph
• Instance