FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115279969> ?p ?o ?g. }

• W2115279969 abstract "We propose a notion of interval object in a category with finite products, providing a universal property for closed and bounded real line segments. The universal property gives rise to an analogue of primitive recursion for defining computable functions on the interval. We use this to define basic arithmetic operations and to verify equations between them. We test the notion in categories of interest. In the category of sets, any closed and bounded interval of real numbers is an interval object. In the category of topological spaces, the interval objects are closed and bounded intervals with the Euclidean topology. We also prove that an interval object exists in and elementary topos with natural numbers object." @default.
• W2115279969 created "2016-06-24" @default.
• W2115279969 creator A5037262512 @default.
• W2115279969 creator A5050767630 @default.
• W2115279969 date "2002-11-13" @default.
• W2115279969 modified "2023-09-23" @default.
• W2115279969 title "A universal characterization of the closed Euclidean interval" @default.
• W2115279969 cites W104853290 @default.
• W2115279969 cites W1481180394 @default.
• W2115279969 cites W1484366641 @default.
• W2115279969 cites W1492228160 @default.
• W2115279969 cites W1492711856 @default.
• W2115279969 cites W1561360105 @default.
• W2115279969 cites W1571615440 @default.
• W2115279969 cites W1964275540 @default.
• W2115279969 cites W1968529809 @default.
• W2115279969 cites W1982594584 @default.
• W2115279969 cites W1983112697 @default.
• W2115279969 cites W1983905931 @default.
• W2115279969 cites W1998875295 @default.
• W2115279969 cites W2002131660 @default.
• W2115279969 cites W2002713832 @default.
• W2115279969 cites W2012949680 @default.
• W2115279969 cites W2025010014 @default.
• W2115279969 cites W2031853948 @default.
• W2115279969 cites W2033225733 @default.
• W2115279969 cites W2045614673 @default.
• W2115279969 cites W2049362364 @default.
• W2115279969 cites W2051496398 @default.
• W2115279969 cites W2052264475 @default.
• W2115279969 cites W2057726532 @default.
• W2115279969 cites W2075204971 @default.
• W2115279969 cites W2087950601 @default.
• W2115279969 cites W2097415784 @default.
• W2115279969 cites W2104505625 @default.
• W2115279969 cites W2120713972 @default.
• W2115279969 cites W2127112332 @default.
• W2115279969 cites W2157014216 @default.
• W2115279969 cites W2166644419 @default.
• W2115279969 cites W223002628 @default.
• W2115279969 cites W2611511037 @default.
• W2115279969 cites W2914873822 @default.
• W2115279969 cites W3140476490 @default.
• W2115279969 cites W3177299375 @default.
• W2115279969 cites W36355091 @default.
• W2115279969 cites W569543113 @default.
• W2115279969 doi "https://doi.org/10.1109/lics.2001.932488" @default.
• W2115279969 hasPublicationYear "2002" @default.
• W2115279969 type Work @default.
• W2115279969 sameAs 2115279969 @default.
• W2115279969 citedByCount "20" @default.
• W2115279969 countsByYear W21152799692013 @default.
• W2115279969 countsByYear W21152799692014 @default.
• W2115279969 countsByYear W21152799692015 @default.
• W2115279969 countsByYear W21152799692017 @default.
• W2115279969 countsByYear W21152799692021 @default.
• W2115279969 crossrefType "proceedings-article" @default.
• W2115279969 hasAuthorship W2115279969A5037262512 @default.
• W2115279969 hasAuthorship W2115279969A5050767630 @default.
• W2115279969 hasBestOaLocation W21152799692 @default.
• W2115279969 hasConcept C11413529 @default.
• W2115279969 hasConcept C114614502 @default.
• W2115279969 hasConcept C118615104 @default.
• W2115279969 hasConcept C129782007 @default.
• W2115279969 hasConcept C134306372 @default.
• W2115279969 hasConcept C154945302 @default.
• W2115279969 hasConcept C168773036 @default.
• W2115279969 hasConcept C191252586 @default.
• W2115279969 hasConcept C2524010 @default.
• W2115279969 hasConcept C2778067643 @default.
• W2115279969 hasConcept C2781238097 @default.
• W2115279969 hasConcept C33923547 @default.
• W2115279969 hasConcept C34388435 @default.
• W2115279969 hasConcept C41008148 @default.
• W2115279969 hasConcept C75432250 @default.
• W2115279969 hasConceptScore W2115279969C11413529 @default.
• W2115279969 hasConceptScore W2115279969C114614502 @default.
• W2115279969 hasConceptScore W2115279969C118615104 @default.
• W2115279969 hasConceptScore W2115279969C129782007 @default.
• W2115279969 hasConceptScore W2115279969C134306372 @default.
• W2115279969 hasConceptScore W2115279969C154945302 @default.
• W2115279969 hasConceptScore W2115279969C168773036 @default.
• W2115279969 hasConceptScore W2115279969C191252586 @default.
• W2115279969 hasConceptScore W2115279969C2524010 @default.
• W2115279969 hasConceptScore W2115279969C2778067643 @default.
• W2115279969 hasConceptScore W2115279969C2781238097 @default.
• W2115279969 hasConceptScore W2115279969C33923547 @default.
• W2115279969 hasConceptScore W2115279969C34388435 @default.
• W2115279969 hasConceptScore W2115279969C41008148 @default.
• W2115279969 hasConceptScore W2115279969C75432250 @default.
• W2115279969 hasLocation W21152799691 @default.
• W2115279969 hasLocation W21152799692 @default.
• W2115279969 hasOpenAccess W2115279969 @default.
• W2115279969 hasPrimaryLocation W21152799691 @default.
• W2115279969 hasRelatedWork W2109523263 @default.
• W2115279969 hasRelatedWork W2115279969 @default.
• W2115279969 hasRelatedWork W2328684623 @default.
• W2115279969 hasRelatedWork W2622957143 @default.
• W2115279969 hasRelatedWork W2728629994 @default.
• W2115279969 hasRelatedWork W2783752873 @default.

• next