The Ehresmann-Schein-Nambooripad theorem for inverse categories

MaRDI QIDQ4585019zbMATH OpenFDO

Authors Darien DeWolf, Dorette Pronk

Publication date 5 September 2018

Full work available at URL https://arxiv.org/abs/1507.08615, http://www.tac.mta.ca/tac/volumes/33/27/33-27abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

inductive groupoidinverse categoryinverse semigrouplocally complete inductive groupoid

Mathematics Subject Classification ID

Preorders, orders, domains and lattices (viewed as categories) (18B35) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)

Abstract: The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a natural generalization of inverse semigroups -- and extend the ESN theorem to an equivalence between this category and the category of top-heavy locally inductive groupoids and locally inductive functors. From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally inductive groupoids and to an equivalence between the category of inverse categories with oplax functors and the category of top-heavy locally inductive groupoids and ordered functors.

Recommendations

• An Ehresmann-Schein-Nambooripad theorem for locally Ehresmann \(P\)-Ehresmann semigroups
• The Ehresmann-Schein-Nambooripad theorem and its successors
• Extending the Ehresmann-Schein-Nambooripad theorem.
• Restriction semigroups and inductive constellations.
• D-semigroups and constellations

Cites work

• Catégories inductives et pseudogroupes
• Extending the Ehresmann-Schein-Nambooripad theorem.
• Gattungen von lokalen Strukturen
• scientific article; zbMATH DE number 3695473 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• On inverse categories and transfer in cohomology
• On the theory of inverse semigroups and generalized groups
• Restriction categories. I: Categories of partial maps
• Restriction semigroups and inductive constellations.
• Semigroups and ordered categories. I: The reduced case
• Structure of regular semigroups. I: Fundamental regular semigroups
• Structure of regular semigroups. II: The general case
• The Ehresmann-Schein-Nambooripad theorem and its successors

Cited in

(18)

• Semigroups and ordered categories. I: The reduced case
• An Ehresmann-Schein-Nambooripad type theorem for DRC-semigroups
• Generalising the étale groupoid-complete pseudogroup correspondence
• The geometric theory of inverse semigroups. I: E-unitary inverse semigroups
• D-semigroups and constellations
• Étale inverse semigroupoids: elementary properties, universal constructions and duality
• On inverse categories with split idempotents.
• The Ehresmann-Schein-Nambooripad theorem and its successors
• Certain categories derived from normal categories
• scientific article; zbMATH DE number 2143410 (Why is no real title available?)
• A groupoid approach to regular -semigroups
• Compact inverse categories
• Weak partial representations
• Categorical representation of DRC-semigroups
• Congruences on ordered groupoids
• Relating ample and biample topological categories with Boolean restriction and range semigroups
• An Ehresmann-Schein-Nambooripad-type theorem for left restriction semigroupoids
• A P-theorem for inverse semigroupoids through ordered globalizations

This page was built for publication: The Ehresmann-Schein-Nambooripad theorem for inverse categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4585019)