Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034984684> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2034984684 endingPage "104" @default.
- W2034984684 startingPage "61" @default.
- W2034984684 abstract "We investigate and unify notions of convergence in preorders and metric spaces. The basic structures we use are categories enriched over commutative unital quantales. Such structures encompass both preorders and metric spaces, as was observed already by Lawvere (1974). In this report we define a notion of convergence on the general structures that generalizes least upper bounds of chains in preorders and limits of Cauchy sequences in metric spaces. Thereby the notions of complete partial order and complete metric space are also unified, as are the two versions of continuous functions. We use this unified setting to indicate how recursive domain equations can be treated by providing a generalization of Scott's inverse limit theorem. The theorem as well as its proof specializes to Scott's original ones for the preorder case and to America and Rutten's for the metric case. We also give a categorical analysis of our notion of convergence, comparing it to weighted limits and colimits in enriched categories." @default.
- W2034984684 created "2016-06-24" @default.
- W2034984684 creator A5003999840 @default.
- W2034984684 date "1997-09-01" @default.
- W2034984684 modified "2023-10-09" @default.
- W2034984684 title "Liminf convergence in Ω-categories" @default.
- W2034984684 cites W1995902462 @default.
- W2034984684 doi "https://doi.org/10.1016/s0304-3975(96)00223-x" @default.
- W2034984684 hasPublicationYear "1997" @default.
- W2034984684 type Work @default.
- W2034984684 sameAs 2034984684 @default.
- W2034984684 citedByCount "66" @default.
- W2034984684 countsByYear W20349846842012 @default.
- W2034984684 countsByYear W20349846842013 @default.
- W2034984684 countsByYear W20349846842014 @default.
- W2034984684 countsByYear W20349846842015 @default.
- W2034984684 countsByYear W20349846842016 @default.
- W2034984684 countsByYear W20349846842017 @default.
- W2034984684 countsByYear W20349846842018 @default.
- W2034984684 countsByYear W20349846842019 @default.
- W2034984684 countsByYear W20349846842020 @default.
- W2034984684 countsByYear W20349846842021 @default.
- W2034984684 countsByYear W20349846842022 @default.
- W2034984684 countsByYear W20349846842023 @default.
- W2034984684 crossrefType "journal-article" @default.
- W2034984684 hasAuthorship W2034984684A5003999840 @default.
- W2034984684 hasConcept C118615104 @default.
- W2034984684 hasConcept C134306372 @default.
- W2034984684 hasConcept C136119220 @default.
- W2034984684 hasConcept C151201525 @default.
- W2034984684 hasConcept C162324750 @default.
- W2034984684 hasConcept C176217482 @default.
- W2034984684 hasConcept C177148314 @default.
- W2034984684 hasConcept C180645754 @default.
- W2034984684 hasConcept C183778304 @default.
- W2034984684 hasConcept C198043062 @default.
- W2034984684 hasConcept C202444582 @default.
- W2034984684 hasConcept C21547014 @default.
- W2034984684 hasConcept C2333172 @default.
- W2034984684 hasConcept C2777303404 @default.
- W2034984684 hasConcept C33923547 @default.
- W2034984684 hasConcept C36503486 @default.
- W2034984684 hasConcept C50522688 @default.
- W2034984684 hasConceptScore W2034984684C118615104 @default.
- W2034984684 hasConceptScore W2034984684C134306372 @default.
- W2034984684 hasConceptScore W2034984684C136119220 @default.
- W2034984684 hasConceptScore W2034984684C151201525 @default.
- W2034984684 hasConceptScore W2034984684C162324750 @default.
- W2034984684 hasConceptScore W2034984684C176217482 @default.
- W2034984684 hasConceptScore W2034984684C177148314 @default.
- W2034984684 hasConceptScore W2034984684C180645754 @default.
- W2034984684 hasConceptScore W2034984684C183778304 @default.
- W2034984684 hasConceptScore W2034984684C198043062 @default.
- W2034984684 hasConceptScore W2034984684C202444582 @default.
- W2034984684 hasConceptScore W2034984684C21547014 @default.
- W2034984684 hasConceptScore W2034984684C2333172 @default.
- W2034984684 hasConceptScore W2034984684C2777303404 @default.
- W2034984684 hasConceptScore W2034984684C33923547 @default.
- W2034984684 hasConceptScore W2034984684C36503486 @default.
- W2034984684 hasConceptScore W2034984684C50522688 @default.
- W2034984684 hasIssue "1-2" @default.
- W2034984684 hasLocation W20349846841 @default.
- W2034984684 hasOpenAccess W2034984684 @default.
- W2034984684 hasPrimaryLocation W20349846841 @default.
- W2034984684 hasRelatedWork W1954846941 @default.
- W2034984684 hasRelatedWork W2014759141 @default.
- W2034984684 hasRelatedWork W2061776474 @default.
- W2034984684 hasRelatedWork W2062372012 @default.
- W2034984684 hasRelatedWork W2531056186 @default.
- W2034984684 hasRelatedWork W2804104875 @default.
- W2034984684 hasRelatedWork W4287080849 @default.
- W2034984684 hasRelatedWork W4385488798 @default.
- W2034984684 hasRelatedWork W4386044712 @default.
- W2034984684 hasRelatedWork W954675015 @default.
- W2034984684 hasVolume "184" @default.
- W2034984684 isParatext "false" @default.
- W2034984684 isRetracted "false" @default.
- W2034984684 magId "2034984684" @default.
- W2034984684 workType "article" @default.