{"id":"arxiv/2601.13301","url":"https://arxiv.org/abs/2601.13301","tags":["math.GR","math.CT"],"score":0,"title":"Locally involutive semigroups","domain":"math.GR","source":"arxiv","authors":["Clemens Berger","Jonathon Funk"],"reviews":0,"subject":"math.GR","summary":"We introduce locally involutive semigroups and embed them into the category of ordered groupoids. This embedding restricts to a correspondence between quasi-involutive semigroups and ordered groupoids with mediator, extending the classical ESN-correspondence between inverse semigroups and inductive groupoids. An important subcategory of locally involutive semigroups is formed by left involutive semigroups because the classifying topos of an inverse semigroup S is equivalent to the category of left involutive semigroups étale over S [4]. We recover this equivalence from a general adjointness…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-19","reactions":{}}