Matches in SemOpenAlex for { <https://semopenalex.org/work/W2836615843> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2836615843 endingPage "172" @default.
- W2836615843 startingPage "151" @default.
- W2836615843 abstract "The intended model of the homotopy type theories used in Univalent Foundations is the ∞-category of homotopy types, also known as ∞-groupoids. The problem of higher structures is that of constructing the homotopy types needed for mathematics, especially those that aren’t sets. The current repertoire of constructions, including the usual type formers and higher inductive types, suffice for many but not all of these. We discuss the problematic cases, typically those involving an infinite hierarchy of coherence data such as semi-simplicial types, as well as the problem of developing the meta-theory of homotopy type theories in Univalent Foundations. We also discuss some proposed solutions." @default.
- W2836615843 created "2018-07-19" @default.
- W2836615843 creator A5027478196 @default.
- W2836615843 date "2019-01-01" @default.
- W2836615843 modified "2023-09-30" @default.
- W2836615843 title "Higher Structures in Homotopy Type Theory" @default.
- W2836615843 cites W1567120488 @default.
- W2836615843 cites W1978653019 @default.
- W2836615843 cites W1987700231 @default.
- W2836615843 cites W2054195362 @default.
- W2836615843 cites W2072011179 @default.
- W2836615843 cites W2072162660 @default.
- W2836615843 cites W2084051193 @default.
- W2836615843 cites W2086997195 @default.
- W2836615843 cites W2104240658 @default.
- W2836615843 cites W2116438866 @default.
- W2836615843 cites W2132795002 @default.
- W2836615843 cites W2134718463 @default.
- W2836615843 cites W2153583112 @default.
- W2836615843 cites W2194904877 @default.
- W2836615843 cites W2325482359 @default.
- W2836615843 cites W2395479267 @default.
- W2836615843 cites W2467476450 @default.
- W2836615843 cites W2550513301 @default.
- W2836615843 cites W2562854264 @default.
- W2836615843 cites W2608452728 @default.
- W2836615843 cites W2765255795 @default.
- W2836615843 cites W2811094863 @default.
- W2836615843 cites W2883252932 @default.
- W2836615843 cites W2963483416 @default.
- W2836615843 cites W2964185027 @default.
- W2836615843 cites W3103104364 @default.
- W2836615843 cites W3123725507 @default.
- W2836615843 cites W4233652458 @default.
- W2836615843 cites W4236256974 @default.
- W2836615843 cites W65713433 @default.
- W2836615843 doi "https://doi.org/10.1007/978-3-030-15655-8_7" @default.
- W2836615843 hasPublicationYear "2019" @default.
- W2836615843 type Work @default.
- W2836615843 sameAs 2836615843 @default.
- W2836615843 citedByCount "1" @default.
- W2836615843 countsByYear W28366158432021 @default.
- W2836615843 crossrefType "book-chapter" @default.
- W2836615843 hasAuthorship W2836615843A5027478196 @default.
- W2836615843 hasBestOaLocation W28366158432 @default.
- W2836615843 hasConcept C127313418 @default.
- W2836615843 hasConcept C150275644 @default.
- W2836615843 hasConcept C151730666 @default.
- W2836615843 hasConcept C168334404 @default.
- W2836615843 hasConcept C191752858 @default.
- W2836615843 hasConcept C202444582 @default.
- W2836615843 hasConcept C2777299769 @default.
- W2836615843 hasConcept C33923547 @default.
- W2836615843 hasConcept C5961521 @default.
- W2836615843 hasConceptScore W2836615843C127313418 @default.
- W2836615843 hasConceptScore W2836615843C150275644 @default.
- W2836615843 hasConceptScore W2836615843C151730666 @default.
- W2836615843 hasConceptScore W2836615843C168334404 @default.
- W2836615843 hasConceptScore W2836615843C191752858 @default.
- W2836615843 hasConceptScore W2836615843C202444582 @default.
- W2836615843 hasConceptScore W2836615843C2777299769 @default.
- W2836615843 hasConceptScore W2836615843C33923547 @default.
- W2836615843 hasConceptScore W2836615843C5961521 @default.
- W2836615843 hasLocation W28366158431 @default.
- W2836615843 hasLocation W28366158432 @default.
- W2836615843 hasOpenAccess W2836615843 @default.
- W2836615843 hasPrimaryLocation W28366158431 @default.
- W2836615843 hasRelatedWork W1983731475 @default.
- W2836615843 hasRelatedWork W1996301351 @default.
- W2836615843 hasRelatedWork W1997281768 @default.
- W2836615843 hasRelatedWork W2334974384 @default.
- W2836615843 hasRelatedWork W2963024429 @default.
- W2836615843 hasRelatedWork W4206015427 @default.
- W2836615843 hasRelatedWork W4242717632 @default.
- W2836615843 hasRelatedWork W4289763238 @default.
- W2836615843 hasRelatedWork W4301135587 @default.
- W2836615843 hasRelatedWork W930990906 @default.
- W2836615843 isParatext "false" @default.
- W2836615843 isRetracted "false" @default.
- W2836615843 magId "2836615843" @default.
- W2836615843 workType "book-chapter" @default.