Convergence on categories (Q945023)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Convergence on categories |
scientific article |
Statements
Convergence on categories (English)
0 references
10 September 2008
0 references
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.
0 references
concrete category
0 references
subobject lattice
0 references
filter
0 references
raster
0 references
convergence structure on a category
0 references
closure operator on a category
0 references
separation
0 references
compactness
0 references