A 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)
