unique lifting of factorizationsLast updated Jan 8, 2025A 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)
