Bicategories in univalent foundations (Q5055496)

From MaRDI portal
scientific article; zbMATH DE number 7630475
Language Label Description Also known as
English
Bicategories in univalent foundations
scientific article; zbMATH DE number 7630475

    Statements

    Bicategories in univalent foundations (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    9 December 2022
    0 references
    bicategory theory
    0 references
    univalent mathematics
    0 references
    dependent type theory
    0 references
    Coq
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers