Fibred Category

Organize categories of objects varying over a base category so every base morphism admits a universal cartesian pullback, making reindexing coherent up to canonical isomorphism.

Version

v3 · 2026-09-19 · History

Domain-specific #

1832

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Category Theory → Mathematics

Aliases

Fibered category, Category fibred over a base, Grothendieck fibration

Core Idea

A fibred category is a functor p from a total category E to a base category B for which objects can be pulled back along every relevant morphism of the base through cartesian lifts. If an object e lies over b and f maps a to b in B, fibredness provides an object f-star e over a and a morphism f-star e to e lying over f. That lifted morphism is cartesian: every competing arrow into e whose projection factors through f factors uniquely through the lift in the total category.

How would you explain it like I'm…

 

No faithful explanation at this level. A child-level picture of boxes of things sitting over places drops the cartesian universal property. It would teach that any arrow lying over a base arrow counts, rather than the best, essentially unique pullback.

Best Way Back Along Roads

In math, a category is a collection of things with arrows between them. A fibred category is one big category sitting over another, like a big collection of shelves where each shelf belongs to one spot on a map. The special rule is that if there is a road from spot A to spot B, any item on B's shelf can be pulled back to a matching item on A's shelf. And this pulled-back item is not just any match—it is the best one, so any other way of reaching the item along that road goes through it in exactly one way.

Categories With Cartesian Lifts

A fibred category is a functor p from a 'total' category E to a 'base' category B with a pullback property. If an object e sits over b, and f is an arrow from a to b in B, there must be an object f*e over a and an arrow f*e → e lying over f. That arrow is cartesian: any other arrow into e whose image passes through f factors through it in exactly one way, so f*e is the best version of e moved over a. The objects and arrows over a single base object b form a fiber category, so the whole thing packages a category for each base object plus ways to transport backward along base arrows. A plain category has none of this projection or reindexing structure.

 

A fibred category is a functor p: E → B such that every object e over b and every base arrow f: a → b admit a cartesian lift f*e → e over f. Cartesian means universal: any arrow into e whose projection factors through f factors uniquely through the lift in E. Hence lifts are unique up to unique vertical isomorphism and they compose. The fiber E_b has objects over b and arrows projecting to the identity on b. Choosing lifts (a cleavage) gives pullback functors f*: E_b → E_a, which typically satisfy identity and composition laws only up to coherent natural isomorphism, e.g. g*f* ≅ (f∘g)*; a split fibration makes them strict. The Grothendieck construction shows that pseudofunctors from B^op to categories correspond, up to 2-categorical equivalence, to fibred categories over B. This differs from a category fibred in groupoids (all vertical arrows invertible) and from a stack (which adds descent over a site).

Scope of Application

Fibred categories are literal when a class of objects varies over contexts and supports universal pullback along maps between those contexts.

• Algebraic geometry. Organizing schemes, sheaves, bundles, and families over varying base schemes.
• Descent theory. Supplying the reindexing infrastructure on which local compatibility and gluing are stated.
• Moduli problems. Retaining families and their automorphisms over parameter spaces.
• Topology. Packaging bundles or sheaves and their inverse-image operations.
• Categorical logic. Modeling substitution and context change through reindexing.
• Dependent type theory. Interpreting dependent types as objects varying over contexts.
• Indexed categories. Moving between pseudofunctor and total-category presentations through the Grothendieck construction.

Clarity

State the base and total categories, projection functor, variance convention, and exact cartesian universal property. Name size or universe assumptions when needed. Distinguish existence of lifts from a cleavage, normalized cleavage, or splitting. If using the pseudofunctor presentation, publish the coherence isomorphisms and orientation of composition. Say whether fibers are arbitrary categories, groupoids, or sets. Do not import a topology, covering family, or descent axiom unless the intended object is a stack or another refinement.

Manages Complexity

The construction replaces a loose family of categories and pullback functors with one total category and one universal class of arrows. Coherence theorems then control the fact that iterated pullbacks are canonical only up to isomorphism. This prevents equations between arbitrary choices from being mistaken for natural structure. Complexity reappears in 2-categorical bookkeeping, size issues, cleavage choices, and strictification. Split replacements can simplify calculation, but an equivalence to a split fibration should not be confused with a preexisting canonical splitting.

Abstract Reasoning

1. Choose a base category whose arrows represent the allowed changes of context.
2. Build a total category of objects and morphisms living over those contexts.
3. Define the projection functor and identify each fiber over a base object.
4. For a base arrow and target object, propose a lift with source in the required fiber.
5. Verify the cartesian universal factorization against every compatible competing arrow.

Knowledge Transfer

The strict parent is Category because both total and base structures, their fibers, and the cartesian factorization law are formulated entirely through objects, morphisms, identities, and composition. Category transfers far beyond indexed families. Fibred Category narrows it by adding a projection and universal reindexing. Pullback and Dependency illuminate portions of the mechanism, but the accepted Category endpoint most literally contains the mathematical carrier without claiming that any ordinary category is fibred.

Relationships to Other Abstractions

Current abstraction Fibred Category Domain-specific

Parents (1) — outgoing typed relations

• Fibred Category is a kind of Category Prime

  Category is the strict parent.

Hierarchy paths (3) — routes to 3 parentless roots

• Fibred Category → is a kind of Category → includes Associativity → is a kind of Invariance

Show alternative paths (2)

Neighborhood in Abstraction Space

Fibred Category sits in a sparse region of the domain-specific corpus (90^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

• Eckmann–Hilton Duality — 0.82
• Stack (Mathematics) — 0.81
• Functor Category — 0.81
• Diagram (category theory) — 0.79
• Functor — 0.79

Computed from structural-signature embeddings · 2026-10-25