Matches in SemOpenAlex for { <https://semopenalex.org/work/W3216918162> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3216918162 endingPage "9" @default.
- W3216918162 startingPage "1" @default.
- W3216918162 abstract "Abstract C-systems were defined by Cartmell as models of generalized algebraic theories. B-systems were defined by Voevodsky in his quest to formulate and prove an initiality conjecture for type theories. They play a crucial role in Voevodsky’s construction of a syntactic C-system from a term monad. In this work, we construct an equivalence between the category of C-systems and the category of B-systems, thus proving a conjecture by Voevodsky." @default.
- W3216918162 created "2021-12-06" @default.
- W3216918162 creator A5005424215 @default.
- W3216918162 creator A5065260899 @default.
- W3216918162 creator A5072849432 @default.
- W3216918162 creator A5086377801 @default.
- W3216918162 date "2023-06-29" @default.
- W3216918162 modified "2023-10-18" @default.
- W3216918162 title "B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT" @default.
- W3216918162 cites W2006941708 @default.
- W3216918162 cites W2253436356 @default.
- W3216918162 cites W3007277766 @default.
- W3216918162 cites W3133537387 @default.
- W3216918162 doi "https://doi.org/10.1017/jsl.2023.41" @default.
- W3216918162 hasPublicationYear "2023" @default.
- W3216918162 type Work @default.
- W3216918162 sameAs 3216918162 @default.
- W3216918162 citedByCount "0" @default.
- W3216918162 crossrefType "journal-article" @default.
- W3216918162 hasAuthorship W3216918162A5005424215 @default.
- W3216918162 hasAuthorship W3216918162A5065260899 @default.
- W3216918162 hasAuthorship W3216918162A5072849432 @default.
- W3216918162 hasAuthorship W3216918162A5086377801 @default.
- W3216918162 hasBestOaLocation W32169181621 @default.
- W3216918162 hasConcept C118615104 @default.
- W3216918162 hasConcept C134306372 @default.
- W3216918162 hasConcept C136119220 @default.
- W3216918162 hasConcept C156772000 @default.
- W3216918162 hasConcept C18903297 @default.
- W3216918162 hasConcept C199360897 @default.
- W3216918162 hasConcept C202444582 @default.
- W3216918162 hasConcept C2777299769 @default.
- W3216918162 hasConcept C2780069185 @default.
- W3216918162 hasConcept C2780801425 @default.
- W3216918162 hasConcept C2780990831 @default.
- W3216918162 hasConcept C33923547 @default.
- W3216918162 hasConcept C33959348 @default.
- W3216918162 hasConcept C41008148 @default.
- W3216918162 hasConcept C86803240 @default.
- W3216918162 hasConcept C9376300 @default.
- W3216918162 hasConceptScore W3216918162C118615104 @default.
- W3216918162 hasConceptScore W3216918162C134306372 @default.
- W3216918162 hasConceptScore W3216918162C136119220 @default.
- W3216918162 hasConceptScore W3216918162C156772000 @default.
- W3216918162 hasConceptScore W3216918162C18903297 @default.
- W3216918162 hasConceptScore W3216918162C199360897 @default.
- W3216918162 hasConceptScore W3216918162C202444582 @default.
- W3216918162 hasConceptScore W3216918162C2777299769 @default.
- W3216918162 hasConceptScore W3216918162C2780069185 @default.
- W3216918162 hasConceptScore W3216918162C2780801425 @default.
- W3216918162 hasConceptScore W3216918162C2780990831 @default.
- W3216918162 hasConceptScore W3216918162C33923547 @default.
- W3216918162 hasConceptScore W3216918162C33959348 @default.
- W3216918162 hasConceptScore W3216918162C41008148 @default.
- W3216918162 hasConceptScore W3216918162C86803240 @default.
- W3216918162 hasConceptScore W3216918162C9376300 @default.
- W3216918162 hasLocation W32169181621 @default.
- W3216918162 hasOpenAccess W3216918162 @default.
- W3216918162 hasPrimaryLocation W32169181621 @default.
- W3216918162 hasRelatedWork W1529715114 @default.
- W3216918162 hasRelatedWork W1540118939 @default.
- W3216918162 hasRelatedWork W1748582773 @default.
- W3216918162 hasRelatedWork W2079638187 @default.
- W3216918162 hasRelatedWork W2897153210 @default.
- W3216918162 hasRelatedWork W2952688768 @default.
- W3216918162 hasRelatedWork W2964187826 @default.
- W3216918162 hasRelatedWork W3026358768 @default.
- W3216918162 hasRelatedWork W3162491887 @default.
- W3216918162 hasRelatedWork W4380993965 @default.
- W3216918162 isParatext "false" @default.
- W3216918162 isRetracted "false" @default.
- W3216918162 magId "3216918162" @default.
- W3216918162 workType "article" @default.