Algebraic Language Theory for Eilenberg--Moore Algebras

Abstract

We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic in form of so-called `definable algebras'.

References in corpus (3)

• Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality
• Recognisable languages over monads
• Some connections between universal algebra and logics for trees

Cited by in corpus (1)

• The Power-Set Construction for Tree Algebras