Categorical neighborhood operators

We introduce and study a concept of neighborhood operator on a category. Such an operator is obtained by assigning a suitably axiomatized stack of subobjects – the neighborhoods – to every subobject of each object in the category. We discuss closure and interior operators, convergence, separation and compactness with respect to a neighborhood operator, defined in a natural way.