Projektbeschreibung
Dualitäten zwischen algebraischer und topologischer Struktur bringen Licht in formale Sprachen und Logik
Dualitäten sind wie zwei unterschiedliche Sichtweisen auf ein und dieselbe Sache. Es gibt viele Dualitäten zwischen algebraischen und topologischen Strukturen, und das Hin- und Herwechseln zwischen den beiden „Ansichten“ bildete die Quelle vieler Durchbrüche in der Mathematik. Im ERC-finanzierten Projekt DuaLL werden diese Dualitäten als ein Instrument genutzt, um bei Themen der theoretischen Informatik voranzukommen. Das Team wird sich auf die Suche nach robusten Erweiterungen der Theorie der regulären Sprachen und die Entwicklung dualitätstheoretischer Methoden für Logiken mit Kategorialsemantik konzentrieren. Es werden Instrumente aus der Stone-Dualität einschließlich der kanonischen Jonsson-Tarski-Erweiterungen und der profiniten Algebra sowie aus der universellen Algebra und der Kategorientheorie genutzt.
Ziel
Dualities between algebraic and topological structure are pervasive in mathematics, and toggling back and forth between them has often been associated with important breakthroughs. The main objective of this project is to bring this important tool to bear on a number of subjects in theoretical computer science thereby advancing, systematising, and unifying them.
One subject of focus is the search for robust extensions of the theory of regular languages. A powerful technical tool for classifying regular languages and proving decidability results is Eilenberg-Reiterman theory, which assigns classes of finite monoids or single profinite algebras to classes of languages. Recent results by the PI and her co-authors show that the theory may be seen as a special case of Stone duality for Boolean algebras with operators. We want to:
- Develop an Eilenberg-Reiterman theory beyond regular languages with the goal of obtaining new tools and separation results for Boolean circuit classes, an active area in the search for lower bounds in complexity theory.
-Systematise and advance the search for robust generalisations of regularity to other structures such as infinite words, finite and infinite trees, cost functions, and words with data.
The second subject of focus is the development of duality theoretic methods for logics with categorical semantics. We want to approach the problem incrementally:
- View duality for categorical semantics through a spectrum of intermediate cases going from regular languages over varying alphabets, Ghilardi-Zawadowski duality for finitely presented Heyting algebras, and the Bodirsky-Pinsker topological Birkhoff theorem to Makkai's, Awodey and Forssell's, and Coumans' recent work on first-order logic duality, thus unifying topics in semantics and formal languages.
Our main tools come from Stone duality in various forms including the Jonsson-Tarski canonical extensions and profinite algebra, and from universal algebra and category theory.
Wissenschaftliches Gebiet
Schlüsselbegriffe
Programm/Programme
Thema/Themen
Finanzierungsplan
ERC-ADG - Advanced GrantGastgebende Einrichtung
75794 Paris
Frankreich