Ehresmann-Schein-Nambooripad theorems for classes of biunary semigroups (Q6145725)

In the paper the author has established an ESN theorem for a very general class of biunary semigroups with idempotent-valued domain and range. In fact the theorems have flavour in terms of small categories equipped with a suitable biaction of the identities on the category and it has generalised the recent works on connecting localisable semigroups to transcription categories. The speciality of the result lies in the fact that it does not require the categories to be ordered or for their sets of identities to possess any particular structure. The biunary semigroups are represented here on using categories rather than generalised categories of any kind. As a consequence, category isomorphisms between the classes of semigroups and their associated enriched categories are generated. The results obtained in the paper are powerful and the methodologies as employed here are strong enough to be considered in the future steps of works in this field. Also the paper contains an updated and resourceful reference list at the end.