descent
mathematical concept of higher-categorical generalizations of gluing of local data
Wikipedia (English): Descent_(mathematics)Wikidata: descent
nLab: descent
Agda Unimath: descent property (pushouts)
mathswitch — infrastructure for relaying and exchanging mathematical concepts
mathematical concept of higher-categorical generalizations of gluing of local data
Wikipedia (English): Descent_(mathematics)