Matches in SemOpenAlex for { <https://semopenalex.org/work/W2584816079> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2584816079 endingPage "614" @default.
- W2584816079 startingPage "588" @default.
- W2584816079 abstract "We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the underlying topos to be cocomplete. The resulting model category structure gives rise to a model of homotopy type theory with identity types, Σ- and Π-types, and functional extensionality. We apply the method to the effective topos with the interval object ∇2. In the resulting model structure we identify uniform inhabited objects as contractible objects, and show that discrete objects are fibrant. Moreover, we show that the unit of the discrete reflection is a homotopy equivalence and the homotopy category of fibrant assemblies is equivalent to the category of modest sets. We compare our work with the path object category construction on the effective topos by Jaap van Oosten." @default.
- W2584816079 created "2017-02-10" @default.
- W2584816079 creator A5040167167 @default.
- W2584816079 creator A5063218698 @default.
- W2584816079 date "2018-09-10" @default.
- W2584816079 modified "2023-09-26" @default.
- W2584816079 title "A homotopy-theoretic model of function extensionality in the effective topos" @default.
- W2584816079 cites W1487093245 @default.
- W2584816079 cites W1858353210 @default.
- W2584816079 cites W1997582403 @default.
- W2584816079 cites W2022837260 @default.
- W2584816079 cites W2033555113 @default.
- W2584816079 cites W2043566933 @default.
- W2584816079 cites W2086061699 @default.
- W2584816079 cites W2098942552 @default.
- W2584816079 cites W2291208220 @default.
- W2584816079 cites W2528548943 @default.
- W2584816079 cites W2951884685 @default.
- W2584816079 cites W3100912421 @default.
- W2584816079 cites W3102482356 @default.
- W2584816079 cites W3106009785 @default.
- W2584816079 cites W4293252599 @default.
- W2584816079 cites W633412478 @default.
- W2584816079 doi "https://doi.org/10.1017/s0960129518000142" @default.
- W2584816079 hasPublicationYear "2018" @default.
- W2584816079 type Work @default.
- W2584816079 sameAs 2584816079 @default.
- W2584816079 citedByCount "4" @default.
- W2584816079 countsByYear W25848160792019 @default.
- W2584816079 countsByYear W25848160792020 @default.
- W2584816079 countsByYear W25848160792022 @default.
- W2584816079 crossrefType "journal-article" @default.
- W2584816079 hasAuthorship W2584816079A5040167167 @default.
- W2584816079 hasAuthorship W2584816079A5063218698 @default.
- W2584816079 hasBestOaLocation W25848160792 @default.
- W2584816079 hasConcept C118615104 @default.
- W2584816079 hasConcept C124952713 @default.
- W2584816079 hasConcept C128394911 @default.
- W2584816079 hasConcept C131359564 @default.
- W2584816079 hasConcept C142362112 @default.
- W2584816079 hasConcept C150355047 @default.
- W2584816079 hasConcept C169611556 @default.
- W2584816079 hasConcept C182141236 @default.
- W2584816079 hasConcept C202444582 @default.
- W2584816079 hasConcept C2780617661 @default.
- W2584816079 hasConcept C33923547 @default.
- W2584816079 hasConcept C5961521 @default.
- W2584816079 hasConcept C79236096 @default.
- W2584816079 hasConceptScore W2584816079C118615104 @default.
- W2584816079 hasConceptScore W2584816079C124952713 @default.
- W2584816079 hasConceptScore W2584816079C128394911 @default.
- W2584816079 hasConceptScore W2584816079C131359564 @default.
- W2584816079 hasConceptScore W2584816079C142362112 @default.
- W2584816079 hasConceptScore W2584816079C150355047 @default.
- W2584816079 hasConceptScore W2584816079C169611556 @default.
- W2584816079 hasConceptScore W2584816079C182141236 @default.
- W2584816079 hasConceptScore W2584816079C202444582 @default.
- W2584816079 hasConceptScore W2584816079C2780617661 @default.
- W2584816079 hasConceptScore W2584816079C33923547 @default.
- W2584816079 hasConceptScore W2584816079C5961521 @default.
- W2584816079 hasConceptScore W2584816079C79236096 @default.
- W2584816079 hasIssue "4" @default.
- W2584816079 hasLocation W25848160791 @default.
- W2584816079 hasLocation W25848160792 @default.
- W2584816079 hasLocation W25848160793 @default.
- W2584816079 hasOpenAccess W2584816079 @default.
- W2584816079 hasPrimaryLocation W25848160791 @default.
- W2584816079 hasRelatedWork W2000944063 @default.
- W2584816079 hasRelatedWork W2137635776 @default.
- W2584816079 hasRelatedWork W2584816079 @default.
- W2584816079 hasRelatedWork W2950197522 @default.
- W2584816079 hasRelatedWork W2950704265 @default.
- W2584816079 hasRelatedWork W3103860062 @default.
- W2584816079 hasRelatedWork W4213406876 @default.
- W2584816079 hasRelatedWork W4214794580 @default.
- W2584816079 hasRelatedWork W4284666916 @default.
- W2584816079 hasRelatedWork W4297789603 @default.
- W2584816079 hasVolume "29" @default.
- W2584816079 isParatext "false" @default.
- W2584816079 isRetracted "false" @default.
- W2584816079 magId "2584816079" @default.
- W2584816079 workType "article" @default.