Hom weak ω-categories of a weak ω-category (Q5058363)

From MaRDI portal
scientific article; zbMATH DE number 7634873
Language Label Description Also known as
English
Hom weak ω-categories of a weak ω-category
scientific article; zbMATH DE number 7634873

    Statements

    Hom weak ω-categories of a weak ω-category (English)
    0 references
    0 references
    0 references
    20 December 2022
    0 references
    weak \(\omega\)-category
    0 references
    weak \(\omega\)-groupoid
    0 references
    weak \(\omega\)-functor
    0 references
    operad
    0 references
    intensional Martin-Löf type theory
    0 references
    identity type
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers