Tags: Prolinear category of spliced arrows, Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2022).