1 citations · 1 across the 2 of their papers we have counts for
4 papers
Automata in the Category of Glued Vector Spaces
Thomas Colcombet, Daniela Petrişan
In this paper we adopt a category-theoretic approach to the conception of automata classes enjoying minimization by design. The main instantiation of our construction is a new clas…
Automata Minimization: a Functorial Approach
Thomas Colcombet, Daniela Petrişan
In this paper we regard languages and their acceptors -- such as deterministic or weighted automata, transducers, or monoids -- as functors from input categories that specify the t…
The Schützenberger product for syntactic spaces
Mai Gehrke, Daniela Petrisan, Luca Reggio
Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers…
Relation Liftings on Preorders and Posets
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on…