Contour of a multicategory

Last updated May 29, 2023

• 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)