Abstract:We develop fibrational perspectives on context-free grammars and on finite state automata over categories and operads. A generalized CFG is a functor from a free colored operad (= multicategory) generated by a pointed finite species into an arbitrary base operad: this encompasses classical CFGs by taking the base to be a certain operad constructed from a free monoid, as an instance of a more general construction of an operad of spliced arrows $\mathcal{W}\,\mathcal{C}$ for any category $\mathcal{C}$. A generalized NDFA is a functor satisfying the unique lifting of factorizations and finite fiber properties, from an arbitrary bipointed category or pointed operad: this encompasses classical word automata and tree automata without $\epsilon$-transitions, but also automata over non-free categories and operads. We show that generalized context-free and regular languages satisfy suitable generalizations of many of the usual closure properties, and in particular we give a simple conceptual proof that context-free languages are closed under intersection with regular languages. Finally, we observe that the splicing functor $\mathcal{W} : Cat \to Oper$ admits a left adjoint $\mathcal{C} : Oper \to Cat$, which we call the contour category construction since the arrows of $\mathcal{C}\,\mathcal{O}$ have a geometric interpretation as oriented contours of operations of $\mathcal{O}$. A direct consequence of the contour / splicing adjunction is that every pointed finite species induces a universal CFG generating a language of tree contour words. This leads us to a generalization of the Chomsky-Schützenberger Representation Theorem, establishing that a subset of a homset $L \subseteq \mathcal{C}(A,B)$ is a CFL of arrows iff it is a functorial image of the intersection of a $\mathcal{C}$-chromatic tree contour language with a regular language.

Automata and coalgebras in categories of species

On combinatorial differential operators on species of structures

Completeness for categories of generalized automata

Fuzzy Automata as Coalgebras

Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems

Differential 2-rigs

The categorical contours of the Chomsky-Schützenberger representation theorem

On representation categories of $A_\infty$-algebras and $A_\infty$-coalgebras

2-Representations and Associated Coalgebra 1-Morphisms for Locally Wide Finitary 2-Categories

Coalgebraic Automata Theory: Basic Results

Automata in toposes, and general Myhill-Nerode theorems

Monoidal bicategories, differential linear logic, and analytic functors

Coalgebra Learning via Duality

Dwyer-Kan Homotopy Theory of Algebras over Operadic Collections

Sound and complete axiomatizations of coalgebraic language equivalence

Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities

The $ω$-categorification of Algebraic Theories

Cohomology of Lie coalgebras

The simplicial coalgebra of chains under three different notions of weak equivalence

An abelian ambient category for behaviors in algebraic systems theory