Sequential Colimits in Homotopy Type Theory (Q5145685)

From MaRDI portal
scientific article; zbMATH DE number 7299517
Language Label Description Also known as
English
Sequential Colimits in Homotopy Type Theory
scientific article; zbMATH DE number 7299517

    Statements

    Sequential Colimits in Homotopy Type Theory (English)
    0 references
    0 references
    0 references
    0 references
    21 January 2021
    0 references
    higher inductive types
    0 references
    homotopy type theory
    0 references
    sequential colimits
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references