A categorical duality for algebras of partial functions (Q2031546): Difference between revisions

The paper establishes a categorical duality for a certain category of abstract algebras representable as algebras of partial functions, with operations of composition, antidomain, range and preferential union. The dual objects are topological categories whose space of objects is a Stone space, domain map is a local homeomorphism, range map is open and all morphisms are epimorphisms. Varying morphisms, the author establishes two dualities. In the first duality, the morphisms of algebras are general and dualized by certain generalizations of functors between topological categories the author calls multivalued functors. In the second duality, the morphisms of algebras are more restricted and shown to be dualized by certain functors on the topological side. The situation with morphisms can be compared with that from [\textit{G. Kudryavtseva} and \textit{M. V. Lawson}, Adv. Math. 311, 378--468 (2017; Zbl 1423.06041)].