unique liftings and freeness

Last updated Aug 28, 2024

References.

• The Categorical Contours of the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2024)