A categorical approach to convergence: compactness
The paper presents a new categorical approach to the topological concept of convergence, which is suitable for every category with a terminal object, and which is based in comma categories. More precisely, given a category \(\mathcal{K}\) with a terminal object as well as a functor \(F:\mathcal{S}\rightarrow\mathcal{K}\) with non-empty domain, the author defines an \textit{\(F\)-net} in a \(\mathcal{K}\)-object \(K\) as an arbitrary object of the comma category \(\langle F\downarrow K\rangle\) (Definition 1 on page 79). For example, if \(\mathcal{K}\) is the category of sets and maps, \(\mathcal{S}\) is the category of directed sets and cofinal maps, and \(F:\mathcal{S}\rightarrow\mathcal{K}\) is the forgetful functor, then \(F\)-nets in a \(\mathcal{K}\)-object \(X\) are the classical nets in the set \(X\) of, e.g., [\textit{J. L. Kelley}, General topology. 2nd ed. Graduate Texts in Mathematics. 27. New York - Heidelberg - Berlin: Springer-Verlag (1975; Zbl 0306.54002)]. The author employs then the terminal object \(T\) of \(\mathcal{K}\), to define the notion of \textit{point} of a \(\mathcal{K}\)-object \(K\) as a subobject of \(K\) of the form \(T\rightarrow K\). In such a way, one arrives at a convergence relation between \(F\)-nets in \(K\) and points of \(K\) (Definition 2 on page 79), which leads to the concept of \textit{convergence space} \((K,\pi)\), in which \(\pi\) is the convergence relation in question. In Section~3 of the paper (pages 81--84), the author restates in his new categorical language some of the classical results from general topology on separation and compactness properties of convergence spaces. In particular, he introduces an analogue of the one-point Alexandroff compactification (Definition 6 on page 82).NEWLINENEWLINEThe paper is well written, provides some of its required preliminaries, and will be of interest to the researchers, who apply categorical methods in topology.
- A cartesian closed category for topology
- Categorical neighborhood operators
- Closure operators. I
- Compactification of limit \(\mathcal S\)-net spaces
- Compactness in categories of \(\mathcal S\)-net spaces
- Convergence structures for categories
- scientific article; zbMATH DE number 1002289 (Why is no real title available?)
- scientific article; zbMATH DE number 1107514 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 832997 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Interior Operators in General Categories
- On \frak B-convergence spaces
- On Sequential Convergence
- Quasi-topologies
- Tychonoff’s Theorem in a category
- On categorical notions of compact objects
- Cartesian closedness in categories with an idempotent closure operator and closed morphisms
- scientific article; zbMATH DE number 3920751 (Why is no real title available?)
- scientific article; zbMATH DE number 1107514 (Why is no real title available?)
- A note on separation and compactness in categories of convergence spaces
- scientific article; zbMATH DE number 834162 (Why is no real title available?)
- A categorical approach to convergence
- Compactification with respect to a generalized-net convergence on constructs
- Internal Neighbourhood Structures II: Closure and closed morphisms
- Approach theory in a category: A study of compactness and Hausdorff separation
- Convergence on categories
This page was built for publication: A categorical approach to convergence: compactness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5963957)
