This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International
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
