Fibered Category

A fibered category over a topological space consists of

1. a category for each open subset ,

2. a functor for each inclusion , and

3. a natural isomorphism

for each pair of inclusions , .

In addition, for any three composable inclusions , , and , there exists a natural commuting as shown above.

Sometimes, the pair is used to denote a fibered category with more precision while the shorthand is sometimes used for , , .