Let be a subcategory of and be a space in .
The category of fibre bundles over , denoted ,1 is a category where
an object is a fibre bundle
and a morphism is a bundle map. #m/def/topology
Relates
A subcategory with richer structure is
#state/develop | #lang/en | #SemBr
Footnotes
If is clear from context we instead denote the category by . ↩