Produoidal contour

Last updated Apr 7, 2023

Tags: Monoidal contexts, Monoidal spliced arrows, Polycategorical splice, Promonoidal contour.