Tags. automata as functors, automata as fibrations. References. The Categorical Contours of the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2024)
