Compactness and convergence with respect to a neighborhood operator (Q692053)

The author defines and studies neighbourhood operators as the basic topological tool on categories. The neighbourhoods used are obtained by assigning -- subject to two axioms -- to every atom of the subobject lattice of a given object a centered stack of subobjects of the object. With the help of a neighbourhood operator concepts of separation and compactness of objects are defined. In this way a theory of separation, compactness and convergence is obtained that is analogous to the known theory of topological spaces. The discussed concepts of separation and compactness are finally compared with the well-known \(c\)-separation and \(c\)-compactness where \(c\) is a closure operator associated with the given neighbourhood operator. While separation and \(c\)-separation turn out to be strongly related to each other, in general this is not true for compactness and \(c\)-compactness.