non-deterministic finite state automaton over a categoryLast updated Aug 28, 2024Tags. automata as functors, automata as fibrations.References.The Categorical Contours of the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2024)