The Ehresmann-Schein-Nambooripad theorem for inverse categories

MaRDI QIDQ4585019zbMATHFDO

Authors Darien DeWolf, Dorette Pronk

Publication date 5 September 2018

Full work available at URL https://arxiv.org/abs/1507.08615

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

inverse semigroupinductive groupoidinverse categorylocally complete inductive groupoid

Mathematics Subject Classification ID

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

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

• scientific article; zbMATH DE number 3695473 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• Catégories inductives et pseudogroupes
• Extending the Ehresmann-Schein-Nambooripad theorem.
• Gattungen von lokalen Strukturen
• 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

(13)

• Generalising the étale groupoid-complete pseudogroup correspondence
• A groupoid approach to regular \(\ast \)-semigroups
• On inverse categories with split idempotents.
• scientific article; zbMATH DE number 2143410 (Why is no real title available?)
• Semigroups and ordered categories. I: The reduced case
• An Ehresmann-Schein-Nambooripad type theorem for DRC-semigroups
• D-semigroups and constellations
• The Ehresmann-Schein-Nambooripad theorem and its successors
• Certain categories derived from normal categories
• Compact inverse categories
• Étale inverse semigroupoids: elementary properties, universal constructions and duality
• Congruences on ordered groupoids
• Weak partial representations

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)