Convergence without points

MaRDI QIDQ4965630zbMATH OpenFDO

Authors Jean Goubault-Larrecq, Frédéric Mynard

Publication date 9 March 2021

Full work available at URL https://arxiv.org/abs/1807.03226, https://www.math.uh.edu/~hjm/restricted/pdf46(1)/11goubalt-larrecq.pdf

zbMATH Keywords

categorycoframeconvergenceconvergence spaceframefunctorlatticepointfree topology

Mathematics Subject Classification ID

Frames, locales (06D22) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

Abstract: We introduce a pointfree theory of convergence on lattices and coframes. A convergence lattice is a lattice $L$ with a monotonic map $li{m}_L$ from the lattice of filters on $L$ to $L$, meant to be an abstract version of the map sending every filter of subsets to its set of limits. This construction exhibits the category of convergence spaces as a coreflective subcategory of the opposite of the category of convergence lattices. We extend this construction to coreflections between limit spaces and the opposite of so-called limit lattices and limit coframes, between pretopological convergence spaces and the opposite of so-called pretopological convergence coframes, between adherence spaces and the opposite of so-called adherence coframes, between topological spaces and the opposite of so-called topological coframes. All of our pointfree categories are complete and cocomplete, and topological over the category of coframes. Our final pointfree category, that of topological coframes, shares with the category of frames the property of being in a dual adjunction with the category of topological spaces. We show that the latter arises as a retract of the former, and that this retraction restricts to a reflection between frames and so-called strong topological coframes.

Recommendations

• Approach theory and pointfree convergence
• scientific article; zbMATH DE number 7028260
• On points of convergence lattices and sobriety for convergence spaces
• scientific article; zbMATH DE number 6155184
• Lattice-valued convergence spaces: extending the lattice context

Cites work

• Continuous Lattices and Domains
• Convergence foundations of topology
• Exponentiable streams and prestreams
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1234396 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• scientific article; zbMATH DE number 3045344 (Why is no real title available?)

Cited in

(5)

• On points of convergence lattices and sobriety for convergence spaces
• Cyrtologies of Convergences, I
• Approach theory and pointfree convergence
• Fundamental results for pointfree convex geometry
• On (pre)-approach spaces within convergence approach spaces

This page was built for publication: Convergence without points

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