LIPIcs.CALCO.2015.50.pdf
- Filesize: 0.58 MB
- 16 pages
Document
A Fibrational Approach to Automata Theory
Authors
-
Part of:
Volume:
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Conference on Algebra and Coalgebra in Computer Science (CALCO) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2015-10-28
Cite AsGet BibTex
Liang-Ting Chen and Henning Urbat. A Fibrational Approach to Automata Theory. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 50-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
https://doi.org/10.4230/LIPIcs.CALCO.2015.50
https://doi.org/10.4230/LIPIcs.CALCO.2015.50
Abstract
For predual categories C and D we establish isomorphisms between opfibrations representing local varieties of languages in C, local pseudovarieties of D-monoids, and finitely generated profinite D-monoids. The global sections of these opfibrations are shown to correspond to varieties of languages in C, pseudovarieties of D-monoids, and profinite equational theories of D-monoids, respectively. As an application, a new proof of Eilenberg's variety theorem along with several related results is obtained, covering uniformly varieties of languages and their coalgebraic modifications, Straubing's C-varieties, and fully invariant local varieties.
Keywords
- Eilenberg’s variety theorem
- duality
- coalgebra
- Grothendieck fibration
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads