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
en-GB/fɪbəd kætɪɡəɹiː/
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