The enriched Grothendieck construction (Q1710396)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The enriched Grothendieck construction
scientific article

    Statements

    The enriched Grothendieck construction (English)
    0 references
    0 references
    0 references
    22 January 2019
    0 references
    0 references
    fibred category
    0 references
    free enriched category
    0 references
    Grothendieck construction
    0 references
    0 references
    0 references