Locally involutive semigroups
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.13301
curl -X POST /api/v1/records/arxiv/2601.13301/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.13301/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'