unique lifting of factorizationsLast updated Aug 28, 2024A unique lifting of factorizations, or a discrete Conduché fibration.References.The Categorical Contours of the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2024)A Note on Discrete Conduché fibrations (Johnstone)