Promonoidal contour

Last updated Oct 7, 2024

Tags: multicategory - promonoidal category, polycategory - polycategorical splice.