Martin-Löf complexes (Q385803): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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
Normal rank
 
Property / author
 
Property / author: Pieter J. W. Hofstra / rank
Normal 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 / namelinks / 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
    0 references
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references