Martin-Löf complexes (Q385803): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Steven Awodey / rank | |||
Property / author | |||
Property / author: Pieter J. W. Hofstra / rank | |||
Property / author | |||
Property / author: Steven Awodey / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Pieter J. W. Hofstra / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55U40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6237620 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Martin-Löf complex | |||
Property / zbMATH Keywords: Martin-Löf complex / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
homotopy type theory | |||
Property / zbMATH Keywords: homotopy type theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
1-truncation | |||
Property / zbMATH Keywords: 1-truncation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Quillen model structure | |||
Property / zbMATH Keywords: Quillen model structure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
groupoids | |||
Property / zbMATH Keywords: groupoids / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2098385002 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0906.4521 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Type Theory and Homotopy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy theoretic models of identity types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5701018 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4896537 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The identity type weak factorisation system / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two-dimensional models of type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4225149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4247303 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial realizability models of type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical logic and type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong stacks and classifying spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3159161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5570960 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak omega-categories from intensional type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4099613 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3999860 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopical algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally cartesian closed categories and type theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The petit topos of globular sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Types are weak <i>ω</i> -groupoids / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:27, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Martin-Löf complexes |
scientific article |
Statements
Martin-Löf complexes (English)
0 references
11 December 2013
0 references
Martin-Löf complex
0 references
homotopy type theory
0 references
1-truncation
0 references
Quillen model structure
0 references
groupoids
0 references