The real projective spaces in homotopy type theory (Q5144693)

From MaRDI portal
Revision as of 23:07, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7297894
Language Label Description Also known as
English
The real projective spaces in homotopy type theory
scientific article; zbMATH DE number 7297894

    Statements

    0 references
    0 references
    19 January 2021
    0 references
    higher inductive types
    0 references
    homotopy type theory
    0 references
    real projective spaces
    0 references
    univalence axiom
    0 references
    math.AT
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references