Neighbourhood operators: additivity, idempotency and convergence (Q2011386)

The paper begins with preliminaries on interior and neighbourhood operators on posets and categories, recalling, among other facts, the Galois connection between such operators; interesting familiar examples are discussed within this context. The author moves on to the concepts of \textit{additivity} and \textit{idempotency} for neighbourhood (and interior) operators, defining these concepts and exploring their meaning with examples. For a category endowed with a neighbourhood operator, full reflective and full coreflective subcategories are studied; instances of the latter are the reflections and coreflections amongst neighbourhood, pretopological, supertopological, and topological spaces. In the presence of a factorisation system, closed maps with respect to closure operators and to interior operators are shown to coincide in the setting where subobject lattices are Boolean algebras. Finally, maps that preserve or reflect convergence are studied by introducing the concept of \textit{reflecting morphisms}, and a Frolík-type theorem is proved. A concept of separation for objects is established, which ``is rather related to the notion of \textit{convergence separation}''. Many results connecting reflecting morphisms and separated objects are presented; an instance of one of such results is ``the well-known fact that compact subspaces of a Hausdorff space are closed''.