FG1 Seminar talk
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 neighbourhoods - to every subobject of each object in the category. We define in a natural way and discuss closure and interior operators, convergence, separation and compactness with respect to a neighborhood operator.