Produoidal contour

Last updated Oct 7, 2024

Tags: Monoidal contexts, Monoidal spliced arrows, polycategory - polycategorical splice, Promonoidal contour.