A categorical approach to regular cost functions

In this talk, we will explain how the objects studied for regular cost functions over words can be interpreted in a categorical framework. More precisely, we will describe a category in which the natural notions of recognizability via algebras coincide with the known notion of stabilization monoids, the central algebraic object in the study of regular cost functions over words. This is a joint work with Thomas Colcombet and Daniela Petrisan.

Authors

• Olivier Stietel CNRS, LMF, ENS Paris-Saclay, Université Paris-Saclay, IRIF, Université Paris Cité, France

Keywords

No keywords are indexed for this paper.