Fibred category
From Exampleproblems
In mathematics, specifically in category theory, a fibred category (or fibered category) over a category B, is a category E together with a functor
- p : E → B
such that every morphism in B has a unique cartesian lift.
References
- Angelo Vistoli, Notes on Grothendieck topologies, fibered categories and descent theory, arXiv:math.AG/0412512.
- A Fibrational Theory of Geometric Morphisms, diploma thesis.
