Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130048293> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2130048293 abstract "Following Lawvere, a generalized metric space (gms) is a set X equipped with a metric map from X 2 to the interval of upper reals (approximated from above but not from below) from 0 to ∞ inclusive, and satisfying the zero self-distance law and the triangle inequality. We describe a completion of gms's by Cauchy filters of formal balls. In terms of Lawvere's approach using categories enriched over (0, ∞), the Cauchy filters are equivalent to flat left modules. The completion generalizes the usual one for metric spaces. For quasimetrics it is equiv- alent to the Yoneda completion in its netwise form due to Kunzi and Schellekens and thereby gives a new and explicit characterization of the points of the Yoneda completion. Non-expansive functions between gms's lift to continuous maps between the completions. Various examples and constructions are given, including finite products. The completion is easily adapted to produce a locale, and that part of the work is constructively valid. The exposition illustrates the use of geometric logic to enable point-based reasoning for locales." @default.
- W2130048293 created "2016-06-24" @default.
- W2130048293 creator A5021277208 @default.
- W2130048293 date "2005-01-01" @default.
- W2130048293 modified "2023-09-27" @default.
- W2130048293 title "Localic completion of generalized metric spaces I" @default.
- W2130048293 cites W1486536800 @default.
- W2130048293 cites W16080872 @default.
- W2130048293 cites W1966374748 @default.
- W2130048293 cites W2001923225 @default.
- W2130048293 cites W2009183043 @default.
- W2130048293 cites W2011659388 @default.
- W2130048293 cites W2015581837 @default.
- W2130048293 cites W2018131399 @default.
- W2130048293 cites W2020879982 @default.
- W2130048293 cites W2032386884 @default.
- W2130048293 cites W2171351840 @default.
- W2130048293 cites W36355091 @default.
- W2130048293 cites W44074649 @default.
- W2130048293 hasPublicationYear "2005" @default.
- W2130048293 type Work @default.
- W2130048293 sameAs 2130048293 @default.
- W2130048293 citedByCount "27" @default.
- W2130048293 countsByYear W21300482932012 @default.
- W2130048293 countsByYear W21300482932013 @default.
- W2130048293 countsByYear W21300482932014 @default.
- W2130048293 countsByYear W21300482932016 @default.
- W2130048293 countsByYear W21300482932017 @default.
- W2130048293 countsByYear W21300482932018 @default.
- W2130048293 countsByYear W21300482932021 @default.
- W2130048293 countsByYear W21300482932022 @default.
- W2130048293 crossrefType "journal-article" @default.
- W2130048293 hasAuthorship W2130048293A5021277208 @default.
- W2130048293 hasConcept C118615104 @default.
- W2130048293 hasConcept C124101348 @default.
- W2130048293 hasConcept C134306372 @default.
- W2130048293 hasConcept C139002025 @default.
- W2130048293 hasConcept C198043062 @default.
- W2130048293 hasConcept C202444582 @default.
- W2130048293 hasConcept C203192437 @default.
- W2130048293 hasConcept C33923547 @default.
- W2130048293 hasConcept C41008148 @default.
- W2130048293 hasConcept C49344536 @default.
- W2130048293 hasConcept C61067352 @default.
- W2130048293 hasConceptScore W2130048293C118615104 @default.
- W2130048293 hasConceptScore W2130048293C124101348 @default.
- W2130048293 hasConceptScore W2130048293C134306372 @default.
- W2130048293 hasConceptScore W2130048293C139002025 @default.
- W2130048293 hasConceptScore W2130048293C198043062 @default.
- W2130048293 hasConceptScore W2130048293C202444582 @default.
- W2130048293 hasConceptScore W2130048293C203192437 @default.
- W2130048293 hasConceptScore W2130048293C33923547 @default.
- W2130048293 hasConceptScore W2130048293C41008148 @default.
- W2130048293 hasConceptScore W2130048293C49344536 @default.
- W2130048293 hasConceptScore W2130048293C61067352 @default.
- W2130048293 hasLocation W21300482931 @default.
- W2130048293 hasOpenAccess W2130048293 @default.
- W2130048293 hasPrimaryLocation W21300482931 @default.
- W2130048293 hasRelatedWork W1507692549 @default.
- W2130048293 hasRelatedWork W1525647423 @default.
- W2130048293 hasRelatedWork W1527487696 @default.
- W2130048293 hasRelatedWork W1819103856 @default.
- W2130048293 hasRelatedWork W1966374748 @default.
- W2130048293 hasRelatedWork W1972718199 @default.
- W2130048293 hasRelatedWork W1991195512 @default.
- W2130048293 hasRelatedWork W1993559687 @default.
- W2130048293 hasRelatedWork W2001923225 @default.
- W2130048293 hasRelatedWork W2009183043 @default.
- W2130048293 hasRelatedWork W2011659388 @default.
- W2130048293 hasRelatedWork W2018131399 @default.
- W2130048293 hasRelatedWork W2020879982 @default.
- W2130048293 hasRelatedWork W2087031585 @default.
- W2130048293 hasRelatedWork W2092482475 @default.
- W2130048293 hasRelatedWork W2128849971 @default.
- W2130048293 hasRelatedWork W2131309117 @default.
- W2130048293 hasRelatedWork W2143354333 @default.
- W2130048293 hasRelatedWork W62599867 @default.
- W2130048293 hasRelatedWork W1563160544 @default.
- W2130048293 isParatext "false" @default.
- W2130048293 isRetracted "false" @default.
- W2130048293 magId "2130048293" @default.
- W2130048293 workType "article" @default.