arXiv (All)
open access
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 repre
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Amalgamation in classes of involutive commutative residuated lattices#609717
- On inversion sets of joins in weak Bruhat order#1051888
- Semigroups uniquely determined by one-sided identity and zero sets#149197
- Toward Completeness Theorem for Guarded Kleene Algebra with Tests#168587
- On the weak Kleene scheme in Kripke's theory of truth#707668
Record · ID 1132325
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive