Quantifiers on languages and codensity monads
Abstract
This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one layer of various kinds of quantifiers and prove a corresponding Reutenauer-type theorem. Our main tools are codensity monads and duality theory. Our construction hinges on a measure-theoretic characterisation of the profinite monad of the free S-semimodule monad for finite and commutative semirings S, which generalises our earlier insight that the Vietoris monad on Boolean spaces is the codensity monad of the finite powerset functor.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2017
- DOI:
- 10.48550/arXiv.1702.08841
- arXiv:
- arXiv:1702.08841
- Bibcode:
- 2017arXiv170208841G
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Formal Languages and Automata Theory;
- Mathematics - Category Theory;
- Mathematics - General Topology;
- Mathematics - Logic;
- F.1.1;
- F.4.1;
- F.4.3
- E-Print:
- 30 pages. Presentation improved and details of several proofs added. The main results are unchanged