Grothendieck Fibrations — Mathematics Knowledge System

Overview

A Grothendieck fibration (or fibered category) is a functor p: E -> B such that for every morphism f: a -> b in B and every object e above b, there exists a 'Cartesian lift' of f to E. Fibrations are the categorical formalization of 'families of categories varying over a base': the fiber p^{-1}(b) is the category of objects 'over' b, and the Cartesian lifts encode how these fibers change along morphisms in B. Grothendieck fibrations are equivalent (via the Grothendieck construction) to pseudofunctors B^op -> Cat. They are essential in algebraic geometry (base change, families of schemes), topos theory, and dependent type theory.

Intuition

Think of fibrations as 'parameterized categories'. For example, over each ring R, there is a category Mod(R) of R-modules. Base change along a ring map f: R -> S gives a functor Mod(R) -> Mod(S) (extension of scalars). The total category E has all modules over all rings; the functor p: E -> B (rings) remembers which ring each module lives over. A Cartesian lift of f: R -> S picks, for each S-module M, the 'best' R-module that maps to M (restriction of scalars). Fibrations capture this 'parametric' structure precisely.

Formal Definition

Definition

A functor p: E -> B is a Grothendieck fibration if: for every morphism f: a -> b in B and every object e in E with p(e) = b, there exists a Cartesian morphism phi: e' -> e in E over f (i.e., p(phi) = f), universal in the sense that any morphism psi: e'' -> e with p(psi) factoring through f via B factors uniquely through phi. The fiber over b is E_b = p^{-1}(b). The Grothendieck construction: fibrations p: E -> B correspond bijectively to pseudofunctors F: B^op -> Cat (F(b) = E_b, F(f) = 'base change along f'). Opfibrations: Cartesian lifts go in the covariant direction.

p: E \to B \text{ is a fibration } \iff \text{ every } f: a\to b \text{ has a Cartesian lift}

Fibration condition

E_b = p^{-1}(b) \text{ (fiber over } b \text{)}

Fiber category

\{\text{Fibrations over }B\} \simeq \{\text{Pseudofunctors }B^{\mathrm{op}} \to \mathbf{Cat}\}

Grothendieck construction

\phi: e' \to e \text{ Cartesian over } f: a\to b \text{ means: } \forall (\psi: e'' \to e, \exists ! \chi: e''\to e', p(\chi)=\cdots)

Cartesian morphism

Notation

Notation	Meaning
$p: E \to B$	Fibration: E = total category, B = base category
$E_b$	Fiber of p over b
$f^*e$	Cartesian lift of e along f (base change of e)
$B^{\mathrm{op}} \to \mathbf{Cat}$	Pseudofunctor corresponding to fibration via Grothendieck construction

Theorems

Theorem 1: Grothendieck Construction

There is a biequivalence (equivalence of bicategories) between: (1) Grothendieck fibrations p: E -> B over B; and (2) pseudofunctors F: B^op -> Cat. The construction: given F, define E to have objects (b, x) with b in B and x in F(b), and morphisms (f, phi): (a, x) -> (b, y) where f: a -> b in B and phi: F(f)(y) -> x in F(a). The functor p: E -> B sends (b, x) -> b.

Theorem 2: Base Change Functors

In a fibration p: E -> B, each morphism f: a -> b in B induces a base change functor f*: E_b -> E_a (by choosing Cartesian lifts). These base change functors form a pseudofunctor B^op -> Cat. When the fibration arises from algebraic geometry: over rings, f* is restriction of scalars; over schemes, f* is pullback of sheaves.

Theorem 3: Fibrations and Dependent Types

Grothendieck fibrations model dependent type theory: the base category B represents contexts, the fiber E_Gamma represents types in context Gamma, and the Cartesian lifts represent substitution (weakening). The comprehension category structure of a fibration gives a categorical model of dependent function types (Pi-types) and dependent pairs (Sigma-types). This is the basis of Martin-Lof type theory semantics.

Worked Examples

1
Arr(C) = arrow category of C: objects are morphisms g: x -> y in C; morphisms are commutative squares. cod: Arr(C) -> C sends g: x -> y to its codomain y.
2
Given f: a -> b in C and an object (g: x -> b) in Arr(C) with cod(g) = b, we need a Cartesian lift of f to Arr(C).
3
Form the pullback: let x' = a x_b x (pullback of f and g). The pullback morphism g': x' -> a is a Cartesian lift over f.
$\begin{array}{ccc} x' & \xrightarrow{} & x \\ \downarrow g' & & \downarrow g \\ a & \xrightarrow{f} & b \end{array}$
4
The universal property of the pullback gives the Cartesian property of the lift. So cod is a fibration when C has pullbacks (e.g., C = Set, Top, Grp).

✓ Answer

The codomain functor cod: Arr(C) -> C is a Grothendieck fibration when C has pullbacks, with Cartesian lifts given by pullback squares.

Practice Problems

Hardfree response

Describe the pseudofunctor B^op -> Cat corresponding to the fibration p: Vect -> Ring, where Vect has objects (R, M) with R a ring and M an R-module, and p(R, M) = R.

Common Mistakes

Common Mistake

Confusing fibrations with fiber bundles in topology.

Topological fiber bundles have fibers that are all homeomorphic; they are locally trivial. Grothendieck fibrations allow fibers to be different categories, and the 'triviality' is replaced by the existence of Cartesian lifts (which need not make the fibration globally trivial). A topological fibration (Hurewicz fibration) is related but different: it has the homotopy lifting property. In the discrete case (where all categories are sets = discrete categories), a Grothendieck fibration with discrete fibers corresponds to a functor B^op -> Set (a presheaf), which can be thought of as a 'bundle of sets'.

Quiz

The Grothendieck construction provides an equivalence between fibrations over B and:

Functors B -> Cat (strict, covariant)Pseudofunctors B^op -> CatNatural transformations between functors on BPresheaves of sets on B

Historical Background

Alexander Grothendieck introduced fibered categories in the late 1950s to handle families of geometric objects in algebraic geometry. They appeared in 'Seminaire de Geometrie Algebrique' (SGA 1, 1960-61). The concept was designed to replace 'set-theoretic' families with categorically natural ones, avoiding size issues and capturing base change properly. Fibrations are now central to: stacks (generalized moduli spaces), descent theory, and the categorical semantics of dependent type theory (comprehension categories, display maps). Gray (1966) developed the 2-categorical aspects.

1958
Grothendieck introduces fibered categories in algebraic geometry seminars
Alexander Grothendieck
1961
SGA 1 gives systematic treatment of fibered categories
Alexander Grothendieck
1966
Gray develops 2-categorical theory of fibrations
John Gray
1990s
Fibrations used as semantics for dependent type theory (Jacobs, Hofmann)
Bart Jacobs, Martin Hofmann

Summary

Fibration p: E -> B: every f: a->b in B and e in E_b has a Cartesian lift (base change).
Grothendieck construction: fibrations ~= pseudofunctors B^op -> Cat.
Key example: p: Vect -> Ring (modules over rings), Cartesian lift = restriction of scalars.
Applications: families of schemes (algebraic geometry), semantics of dependent types.

References

BookGrothendieck, A. SGA 1: Revetements Etales et Groupe Fondamental. Springer, 1971.
BookJacobs, B. Categorical Logic and Type Theory. Elsevier, 1999.
WebsitenLab -- Grothendieck fibration