Subobjects and Compactness in Point-Free Convergence
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 sta...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2023-01-01
|
| Series: | Journal of Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2023/7510966 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832549780123811840 |
|---|---|
| author | Emilio Angulo Frédéric Mynard |
| author_facet | Emilio Angulo Frédéric Mynard |
| author_sort | Emilio Angulo |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-395666077c484ea597e963000147a747 |
| institution | Kabale University |
| issn | 2314-4785 |
| language | English |
| publishDate | 2023-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Mathematics |
| spelling | doaj-art-395666077c484ea597e963000147a7472025-02-03T06:08:39ZengWileyJournal of Mathematics2314-47852023-01-01202310.1155/2023/7510966Subobjects and Compactness in Point-Free ConvergenceEmilio Angulo0Frédéric Mynard1NJCUNJCUWe 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.http://dx.doi.org/10.1155/2023/7510966 |
| spellingShingle | Emilio Angulo Frédéric Mynard Subobjects and Compactness in Point-Free Convergence Journal of Mathematics |
| title | Subobjects and Compactness in Point-Free Convergence |
| title_full | Subobjects and Compactness in Point-Free Convergence |
| title_fullStr | Subobjects and Compactness in Point-Free Convergence |
| title_full_unstemmed | Subobjects and Compactness in Point-Free Convergence |
| title_short | Subobjects and Compactness in Point-Free Convergence |
| title_sort | subobjects and compactness in point free convergence |
| url | http://dx.doi.org/10.1155/2023/7510966 |
| work_keys_str_mv | AT emilioangulo subobjectsandcompactnessinpointfreeconvergence AT fredericmynard subobjectsandcompactnessinpointfreeconvergence |