Promonoidal category of spliced arrows Contour of a polycategory Old - Contour of a multicategory References Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2022)