Work

An Ehresmann-Schein-Nambooripad-type theorem for left restriction semigroupoids

Year: 2026

Type: article

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.

Source: Semigroup Forum

DOI: 10.1007/s00233-026-10616-8

Authors: Rafael Haag, Wesley G. Lautenschlaeger, Thaísa Tamusiunas

Institution: Universidade Federal do Rio Grande do Sul

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $3,090

Funder: Universidade Federal do Rio Grande do Sul