Convergence on categories

From MaRDI portal
(Redirected from Publication:945023)





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.











This page was built for publication: Convergence on categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q945023)