Convergence on categories (Q945023)

The usual way to approach topological structures on the objects of a concrete category is via a categorical closure operator [see \textit{D. Dikranjan} and \textit{E. Giuli}, Topology Appl. 27, 129--143 (1987; Zbl 0634.54008)]. This paper puts forward an alternative form of topological structure that is here called a convergence structure. The setting is a finitely complete category with a given \((\mathcal{E},\mathcal{M})\)-factorisation system satisfying some side conditions. After reviewing the closure operator approach in the second section, convergence structures are introduced in section 3. These are based on using certain generalised filters for expressing a nicely behaved notion of convergence. Further sections develop notions of convergence separation and convergence compactness and then a comparison is made with structures available if a closure operator on the category is specified.