The Ehresmann-Schein-Nambooripad Theorem for Inverse Categories

From MaRDI portal
Publication:4585019

zbMATH Open1406.18003arXiv1507.08615MaRDI QIDQ4585019FDOQ4585019

Dorette Pronk, Darien DeWolf

Publication date: 5 September 2018

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.


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

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





Cites Work


Cited In (8)






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)