Representation of abstract pseudogroups
The Wagner-Preston theorem states that every inverse semigroup can be embedded into an inverse semigroup of partial bijections on some set. However, this embedding does not respect lattice operations in the natural ordering. In this paper, we show that an abstract pseudogroup can be faithfully represented by partial bijections on a set if and only if its frame of idempotents is spatial. More generally, we show that any abstract pseudogroup can be faithfully represented by partial homeomorphisms on a locale.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.37124
curl -X POST /api/v1/records/arxiv/2609.37124/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.37124/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'