A perspective on non-commutative frame theory
From MaRDI portal
Abstract: This paper extends the fundamental results of frame theory to a non-commutative setting where the role of locales is taken over by 'etale localic categories. This involves ideas from quantale theory and from semigroup theory, specifically Ehresmann semigroups, restriction semigroups and inverse semigroups. We establish a duality between the category of complete restriction monoids and the category of 'etale localic categories. The relationship between monoids and categories is mediated by a class of quantales called restriction quantal frames. This result builds on the work of Pedro Resende on the connection between pseudogroups and 'etale localic groupoids but in the process we both generalize and simplify: for example, we do not require involutions and, in addition, we render his result functorial. We also project down to topological spaces and, as a result, extend the classical adjunction between locales and topological spaces to an adjunction between 'etale localic categories and 'etale topological categories. In fact, varying morphisms, we obtain several adjunctions. Just as in the commutative case, we restrict these adjunctions to spatial-sober and coherent-spectral equivalences. The classical equivalence between coherent frames and distributive lattices is extended to an equivalence between coherent complete restriction monoids and distributive restriction semigroups. Consequently, we deduce several dualities between distributive restriction semigroups and spectral 'etale topological categories. We also specialize these dualities for the setting where the topological categories are cancellative or are groupoids. Our approach thus links, unifies and extends the approaches taken in the work by Lawson and Lenz and by Resende.
Recommendations
- Noncommutative frames revisited
- Noncommutative frames
- Duality for noncommutative frames
- Non-commutative perspectives
- Frame expansions with erasures: an approach through the non-commutative operator theory
- A minimal framework for non-commutative quantum mechanics
- A note on space noncommutativity
- Noncommutativity from canonical and noncanonical structures
Cites work
- A groupoid approach to C*-algebras
- A groupoid approach to discrete inverse semigroup algebras
- A noncommutative generalization of Stone duality.
- Classical finite transformation semigroups. An introduction.
- Cohesive categories and manifolds
- From right PP monoids to restriction semigroups: a survey.
- Groupoids, inverse semigroups, and their operator algebras
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 4030272 (Why is no real title available?)
- scientific article; zbMATH DE number 3706398 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- scientific article; zbMATH DE number 789816 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Inverse semigroups and combinatorial \(C^*\)-algebras
- ON AN ORDER-BASED CONSTRUCTION OF A TOPOLOGICAL GROUPOID FROM AN INVERSE SEMIGROUP
- On multisemigroups.
- Pseudogroups and their étale groupoids.
- Range categories. I: General theory
- Refinement monoids, equidecomposability types, and Boolean inverse semigroups
- Restriction categories. I: Categories of partial maps
- Restriction semigroups and inductive constellations.
- Semigroups and ordered categories. I: The reduced case
- Sheaves as modules
- The local structure of tilings and their integer group of coinvariants
- The Polycyclic MonoidsPnand the Thompson GroupsVn,1
- The étale groupoid of an inverse semigroup as a groupoid of filters.
- Tight representations of semilattices and inverse semigroups.
- Topological equivalence of tilings
- Étale groupoids and their quantales
Cited in
(23)- General non-commutative locally compact locally Hausdorff Stone duality
- A tribute to John B. Fountain
- Effective equivalence relations and principal quantales
- Ehresmann theory and partition monoids
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- Difference-restriction algebras of partial functions: axiomatisations and representations
- Actions of étale-covered groupoids
- Generalising the étale groupoid-complete pseudogroup correspondence
- Recent developments in inverse semigroup theory
- Hausdorff tight groupoids generalised
- Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
- On Ehresmann semigroups
- Invariant means on Boolean inverse monoids
- Quotients of the Booleanization of an Inverse Semigroup
- A non-commutative and non-idempotent theory of quantale sets
- Proper Ehresmann semigroups
- Noncommutative Pierce duality between Steinberg rings and ample ringoid bundles
- Étale categories, restriction semigroups, and their operator algebras
- Non-commutative Stone duality
- Boolean inverse semigroups and their type monoids
- F-birestriction monoids in enriched signature
- Relating ample and biample topological categories with Boolean restriction and range semigroups
- Graded lawson-Stone duality
This page was built for publication: A perspective on non-commutative frame theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2400516)
