Syntactic approaches to opetopes (Q5094693)

From MaRDI portal





scientific article; zbMATH DE number 7567918
Language Label Description Also known as
English
Syntactic approaches to opetopes
scientific article; zbMATH DE number 7567918

    Statements

    0 references
    0 references
    0 references
    4 August 2022
    0 references
    opetope
    0 references
    opetopic set
    0 references
    type theory
    0 references
    polynomial functor
    0 references
    0 references
    0 references
    0 references
    math.CT
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references