Text this: Ehresmann–Schein–Nambooripad theorems for classes of biunary semigroups.