Spliced arrows form a coherent multicategory

Last updated Jun 11, 2023

• Malleable multicategory
• Contour of a multicategory