Polyadic Spaces and Profinite Monoids - Marquès, Jérémie (Relational and Algebraic Methods in Computer Science, 2021)
Keywords: Categorical logic; Logic on words; Profinite monoids