Subobjects and Compactness in Point-Free Convergence

Emilio Angulo, Frédéric Mynard and Ljubisa Kocinac

Journal of Mathematics, 2023, vol. 2023, 1-8

Abstract: We consider subobjects in the context of point-free convergence (in the sense of Goubault-Larrecq and Mynard), characterizing extremal monomorphisms in the opposite category of that of convergence lattices. It turns out that special ones are needed to capture the notion of subspace. We call them standard and they essentially depend on one element of the convergence lattice. We introduce notions of compactness and closedness for general filters on a convergence lattice, obtaining adequate notions for standard extremal monos by restricting ourselves to principal filters. The classical facts that a closed subset of a compact space is compact and that a compact subspace of a Hausdorff space is closed find generalizations in the point-free setting under the form of general statements about filters. We also give a point-free analog of the classical fact that a continuous bijection from a compact pseudotopology to a Hausdorff pseudotopology is a homeomorphism.

Date: 2023
References: Add references at CitEc
Citations:

Downloads: (external link)
http://downloads.hindawi.com/journals/jmath/2023/7510966.pdf (application/pdf)
http://downloads.hindawi.com/journals/jmath/2023/7510966.xml (application/xml)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hin:jjmath:7510966

DOI: 10.1155/2023/7510966

Access Statistics for this article

More articles in Journal of Mathematics from Hindawi
Bibliographic data for series maintained by Mohamed Abdelhakeem ().