fibered category (Q5446431)

a “sheaf” of categories over a topological space (or, more generally, any category), where instead of equality we have natural equivalences in the definition of the sheaf axioms

Grothendieck fibration
fibred category

Language	Label	Description	Also known as
English	fibered category	a “sheaf” of categories over a topological space (or, more generally, any category), where instead of equality we have natural equivalences in the definition of the sheaf axioms	Grothendieck fibration fibred category