contour of a multicategory

Last updated Apr 23, 2024

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