Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951882915> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2951882915 abstract "In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category $Qt$ in which the mapping $Hom^{(w)}(Ztimes B,C):Qtlongrightarrow Sets$ is functorial in $Z$ and represented in $Qt$ satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motivated by a question reported in [Ob], asking for a model of the Univalence Axiom not equivalent to the standard one." @default.
- W2951882915 created "2019-06-27" @default.
- W2951882915 creator A5025237890 @default.
- W2951882915 creator A5038132133 @default.
- W2951882915 creator A5086364920 @default.
- W2951882915 date "2011-11-15" @default.
- W2951882915 modified "2023-09-27" @default.
- W2951882915 title "The univalence axiom in posetal model categories" @default.
- W2951882915 cites W2156615295 @default.
- W2951882915 hasPublicationYear "2011" @default.
- W2951882915 type Work @default.
- W2951882915 sameAs 2951882915 @default.
- W2951882915 citedByCount "0" @default.
- W2951882915 crossrefType "posted-content" @default.
- W2951882915 hasAuthorship W2951882915A5025237890 @default.
- W2951882915 hasAuthorship W2951882915A5038132133 @default.
- W2951882915 hasAuthorship W2951882915A5086364920 @default.
- W2951882915 hasConcept C144237770 @default.
- W2951882915 hasConcept C151797676 @default.
- W2951882915 hasConcept C153046414 @default.
- W2951882915 hasConcept C167729594 @default.
- W2951882915 hasConcept C177264268 @default.
- W2951882915 hasConcept C199360897 @default.
- W2951882915 hasConcept C202444582 @default.
- W2951882915 hasConcept C2524010 @default.
- W2951882915 hasConcept C33923547 @default.
- W2951882915 hasConcept C41008148 @default.
- W2951882915 hasConcept C5961521 @default.
- W2951882915 hasConceptScore W2951882915C144237770 @default.
- W2951882915 hasConceptScore W2951882915C151797676 @default.
- W2951882915 hasConceptScore W2951882915C153046414 @default.
- W2951882915 hasConceptScore W2951882915C167729594 @default.
- W2951882915 hasConceptScore W2951882915C177264268 @default.
- W2951882915 hasConceptScore W2951882915C199360897 @default.
- W2951882915 hasConceptScore W2951882915C202444582 @default.
- W2951882915 hasConceptScore W2951882915C2524010 @default.
- W2951882915 hasConceptScore W2951882915C33923547 @default.
- W2951882915 hasConceptScore W2951882915C41008148 @default.
- W2951882915 hasConceptScore W2951882915C5961521 @default.
- W2951882915 hasLocation W29518829151 @default.
- W2951882915 hasOpenAccess W2951882915 @default.
- W2951882915 hasPrimaryLocation W29518829151 @default.
- W2951882915 hasRelatedWork W1029436699 @default.
- W2951882915 hasRelatedWork W1791590450 @default.
- W2951882915 hasRelatedWork W1973688731 @default.
- W2951882915 hasRelatedWork W1981827190 @default.
- W2951882915 hasRelatedWork W1989586176 @default.
- W2951882915 hasRelatedWork W2016558776 @default.
- W2951882915 hasRelatedWork W2020099412 @default.
- W2951882915 hasRelatedWork W2037496058 @default.
- W2951882915 hasRelatedWork W2039608363 @default.
- W2951882915 hasRelatedWork W2062302819 @default.
- W2951882915 hasRelatedWork W2084384075 @default.
- W2951882915 hasRelatedWork W2091400962 @default.
- W2951882915 hasRelatedWork W2092142770 @default.
- W2951882915 hasRelatedWork W2114849111 @default.
- W2951882915 hasRelatedWork W2134743979 @default.
- W2951882915 hasRelatedWork W2141723380 @default.
- W2951882915 hasRelatedWork W2491631245 @default.
- W2951882915 hasRelatedWork W2792544643 @default.
- W2951882915 hasRelatedWork W3010652780 @default.
- W2951882915 hasRelatedWork W925680482 @default.
- W2951882915 isParatext "false" @default.
- W2951882915 isRetracted "false" @default.
- W2951882915 magId "2951882915" @default.
- W2951882915 workType "article" @default.