An Ehresmann-Schein-Nambooripad-type theorem for left restriction semigroupoids
Abstract
We introduce the concept of locally inductive constellations and establish isomorphisms between the categories of left restriction semigroupoids and locally inductive constellations. This construction offers an alternative to the celebrated Ehresmann-Schein-Nambooripad (ESN) Theorem and, in particular, generalizes results for one-sided restriction semigroups. We also obtain ESN-type theorems for one-sided restriction categories and inverse semigroupoids.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.