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