The notion of closedness and D-connectedness in Quantale-valued approach spaces
From MaRDI portal
Publication:4969291
zbMath1450.54002arXiv1811.00767MaRDI QIDQ4969291
Publication date: 5 October 2020
Full work available at URL: https://arxiv.org/abs/1811.00767
separationtopological categoryclosedness\(\mathcal{L}\)-approach distance space\(\mathcal{L}\)-gauge space\(D\)-connectedness
Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Preorders, orders, domains and lattices (viewed as categories) (18B35) Probabilistic metric spaces (54E70)
Related Items
A note on quotient reflective subcategories of O-REL ⋮ Pre-Hausdorff and Hausdorff objects in the category of quantale-valued closure spaces
Cites Work
- Approach theory meets probability theory
- Intrinsic approach spaces on domains
- A note on Cauchy spaces
- Compactness, perfectness, separation, minimality and closedness with respect to closure operators
- Quotient-reflective and bireflective subcategories of the category of preordered sets
- Closure operators. I
- Separation properties
- \(T_3\) and \(T_4\)-objects in topological categories
- Quantales and continuity spaces
- Completely regular objects and normal objects in topological categories
- On convergence approach spaces
- Triangular norms
- \(T_ 2\)-objects in topological categories
- Quantale-valued topological spaces via closure and convergence
- A note on closedness and connectedness in the category of proximity spaces
- Approach Spaces A Common Supercategory of TOP and MET
- QUANTALE-VALUED GAUGE SPACES
- Quantale-valued generalizations of approach spaces and quantale-valued topological spaces
- Closure operators in semiuniform convergence spaces
- Probabilistic approach spaces
- Fixed points of contractive maps on dcpo's
- T₁ Approach Spaces
- Closure operators in convergence spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
