Matches in SemOpenAlex for { <https://semopenalex.org/work/W1760393619> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1760393619 abstract "In this paper we define Martin-Lof complexes to be algebras for monads on the category of (reflexive) globular sets which freely add cells in accordance with the rules of intensional Martin-Lof type theory. We then study the resulting categories of algebras for several theories. Our principal result is that there exists a cofibrantly generated Quillen model structure on the category of 1-truncated Martin-Lof complexes and that this category is Quillen equivalent to the category of groupoids. In particular, 1-truncated Martin-Lof complexes are a model of homotopy 1-types." @default.
- W1760393619 created "2016-06-24" @default.
- W1760393619 creator A5029100470 @default.
- W1760393619 creator A5048294977 @default.
- W1760393619 creator A5063426375 @default.
- W1760393619 date "2009-06-24" @default.
- W1760393619 modified "2023-09-27" @default.
- W1760393619 title "Martin-Lof Complexes" @default.
- W1760393619 cites W1520893111 @default.
- W1760393619 cites W1975282362 @default.
- W1760393619 cites W2018415539 @default.
- W1760393619 cites W2022837260 @default.
- W1760393619 cites W2078334802 @default.
- W1760393619 cites W2086720294 @default.
- W1760393619 cites W2102538436 @default.
- W1760393619 cites W2158324835 @default.
- W1760393619 cites W2170599098 @default.
- W1760393619 cites W3100912421 @default.
- W1760393619 cites W3102482356 @default.
- W1760393619 cites W3167950194 @default.
- W1760393619 cites W583126019 @default.
- W1760393619 hasPublicationYear "2009" @default.
- W1760393619 type Work @default.
- W1760393619 sameAs 1760393619 @default.
- W1760393619 citedByCount "1" @default.
- W1760393619 crossrefType "posted-content" @default.
- W1760393619 hasAuthorship W1760393619A5029100470 @default.
- W1760393619 hasAuthorship W1760393619A5048294977 @default.
- W1760393619 hasAuthorship W1760393619A5063426375 @default.
- W1760393619 hasConcept C131359564 @default.
- W1760393619 hasConcept C136119220 @default.
- W1760393619 hasConcept C156772000 @default.
- W1760393619 hasConcept C18903297 @default.
- W1760393619 hasConcept C202444582 @default.
- W1760393619 hasConcept C2777299769 @default.
- W1760393619 hasConcept C33923547 @default.
- W1760393619 hasConcept C5961521 @default.
- W1760393619 hasConcept C7879355 @default.
- W1760393619 hasConcept C79236096 @default.
- W1760393619 hasConcept C86803240 @default.
- W1760393619 hasConceptScore W1760393619C131359564 @default.
- W1760393619 hasConceptScore W1760393619C136119220 @default.
- W1760393619 hasConceptScore W1760393619C156772000 @default.
- W1760393619 hasConceptScore W1760393619C18903297 @default.
- W1760393619 hasConceptScore W1760393619C202444582 @default.
- W1760393619 hasConceptScore W1760393619C2777299769 @default.
- W1760393619 hasConceptScore W1760393619C33923547 @default.
- W1760393619 hasConceptScore W1760393619C5961521 @default.
- W1760393619 hasConceptScore W1760393619C7879355 @default.
- W1760393619 hasConceptScore W1760393619C79236096 @default.
- W1760393619 hasConceptScore W1760393619C86803240 @default.
- W1760393619 hasLocation W17603936191 @default.
- W1760393619 hasOpenAccess W1760393619 @default.
- W1760393619 hasPrimaryLocation W17603936191 @default.
- W1760393619 hasRelatedWork W1494323637 @default.
- W1760393619 hasRelatedWork W1498550064 @default.
- W1760393619 hasRelatedWork W1660072067 @default.
- W1760393619 hasRelatedWork W1970549038 @default.
- W1760393619 hasRelatedWork W1971981146 @default.
- W1760393619 hasRelatedWork W2095937096 @default.
- W1760393619 hasRelatedWork W2105734704 @default.
- W1760393619 hasRelatedWork W2111704496 @default.
- W1760393619 hasRelatedWork W2119472394 @default.
- W1760393619 hasRelatedWork W2142657695 @default.
- W1760393619 hasRelatedWork W2264250039 @default.
- W1760393619 hasRelatedWork W2883624978 @default.
- W1760393619 hasRelatedWork W2955588677 @default.
- W1760393619 hasRelatedWork W2963097660 @default.
- W1760393619 hasRelatedWork W2963681178 @default.
- W1760393619 hasRelatedWork W2963967083 @default.
- W1760393619 hasRelatedWork W3025699667 @default.
- W1760393619 hasRelatedWork W3092668045 @default.
- W1760393619 hasRelatedWork W3100544416 @default.
- W1760393619 hasRelatedWork W3103660633 @default.
- W1760393619 isParatext "false" @default.
- W1760393619 isRetracted "false" @default.
- W1760393619 magId "1760393619" @default.
- W1760393619 workType "article" @default.