Topoi of automata II: Hyperconnected geometric morphisms and syntactic topoi

## Abstract For a hyperconnected geometric morphism from the topos of Σ-sets, we formulate language recognition using the local state classifier. For a language class C, we construct the associated syntactic Grothendieck topos T(C).