derive a generalization of the local version of Eilenberg's theorem. This theorem states that
the lattice of all boolean algebras of regular languages over an alphabet Σ closed under
derivatives is isomorphic to the lattice of all pseudovarieties of Σ-generated monoids. By
applying our method to different categories, we obtain three related results: one, due to
Gehrke, Grigorieff and Pin, weakens boolean algebras to distributive lattices, one due to …