unique liftings and freeness

Last updated Jan 8, 2025

References.

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