oplax

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..

2015, Darien DeWolf, Dorette Pronk, “The Ehresmann-Schein-Nampooripad Theorem for Inverse Categories”, in arXiv