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: v2 · 2026-09-06 · History
Domain-specific #: 1832
Origin domain: mathematics
Subdomain: category theory
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.^[1]

The universal property, not merely the existence of some arrow above f, is load-bearing. It says that f-star e is the best and essentially unique reindexed version of e over a. Cartesian lifts are unique up to a unique vertical isomorphism. They compose, and choosing one lift for every pair of base arrow and target object produces pullback functors between fiber categories. The fibers E-b consist of objects over b and arrows projecting to the identity of b. Thus one construction packages a category for every base object together with coherent contravariant transport along base arrows.

A cleavage chooses cartesian lifts. Chosen pullbacks usually satisfy identity and composition laws only up to coherent natural isomorphism: g-star f-star is canonically isomorphic to the pullback along f-composed-with-g. A split fibration makes those equalities strict. The Grothendieck construction expresses the complementary view: pseudofunctors from the opposite of B to categories correspond, up to the appropriate 2-categorical equivalence, to fibred categories over B. This is why the abstraction is a rigorous home for families and pullback operations that are natural but not strictly equal on the nose.^[2]

The distinction from neighboring catalog nodes is sharp. A category is only objects, arrows, identities, and associative composition; a fibred category additionally projects to a base and supplies cartesian reindexing. A category fibred in groupoids further requires vertical arrows in every fiber to be invertible. A stack adds descent over a site. Descent Mathematics uses fibred categories but also imposes local-to-global data and effectivity questions. The candidate is therefore neither exact-covered nor compositionally closed by those neighbors.

Structural Signature¶

The base category. Its objects index contexts and its arrows encode changes of base.
The total category. Its objects are context-indexed mathematical objects and its arrows include transport and vertical maps.
The projection functor. Every total object and arrow has a declared base object or arrow.
The fiber category. Objects over one base object and arrows over its identity form a category.
The base-change request. A base arrow into the projection of an object asks for a reindexed object over its source.
The cartesian lift. A total arrow above the base arrow solves that request.
The universal factorization. Every arrow with a compatibly factoring projection passes uniquely through the cartesian lift.
The closure under composition. Composite cartesian lifts remain cartesian.
The cleavage. Optional choices turn existence into explicit pullback functors.
The coherence isomorphisms. Identity and composite pullbacks agree coherently even when not strictly equal.

What It Is Not¶

Not an ordinary category alone. A projection and cartesian-lifting law are additional structure.
Not a fiber bundle. The analogy is useful, but categorical fibers and universal arrows replace topological local triviality.
Not necessarily fibred in groupoids. Fiber arrows may be noninvertible.
Not automatically a stack. No Grothendieck topology or descent condition is part of fibredness alone.
Not a chosen cleavage. Lifts can exist without a globally fixed choice of representatives.
Not necessarily split. Pullback along composites is commonly coherent only up to isomorphism.
Not every functor to a base. Arbitrary functors need not have cartesian lifts for every base change.

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. When examples use geometric pullbacks, verify that the chosen class of base morphisms actually supports them.

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¶

Choose a base category whose arrows represent the allowed changes of context.
Build a total category of objects and morphisms living over those contexts.
Define the projection functor and identify each fiber over a base object.
For a base arrow and target object, propose a lift with source in the required fiber.
Verify the cartesian universal factorization against every compatible competing arrow.
Check that cartesian arrows compose and identities have cartesian representatives.
Choose a cleavage only if explicit pullback functors are required.
Construct coherence isomorphisms for identity and composite base changes.
Translate to an indexed-category or pseudofunctor presentation when that reduces proof burden.
Add groupoid, topology, or descent conditions only as separately verified refinements.

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.

Examples¶

Canonical¶

Let B be a category of topological spaces, and let E contain pairs consisting of a space X and a vector bundle V over X. Project a pair to X. A continuous map f from Y to X pulls V back to a bundle f-star V over Y, and the induced bundle map lies over f. Its usual pullback universal property supplies the cartesian factorization. Composing maps Z to Y to X yields a bundle canonically isomorphic to the direct pullback to Z rather than necessarily the same chosen object.

Mapped back: base spaces and maps → categories of bundles over each space → cartesian pullback bundles → coherent contravariant reindexing.

Applied / In Practice¶

In categorical semantics, a base object represents a context and an object in its fiber represents a type dependent on that context. A substitution from a new context to the old one reindexes the dependent type through a cartesian lift. Successive substitutions compose up to the coherence selected by the fibration. Additional comprehension or type-former structure is required to model a particular dependent type theory; fibredness alone supplies only the substitution architecture.

Mapped back: contexts → fibered dependent types → base substitution → cartesian reindexing → coherent iterated substitution.

Structural Tensions¶

Canonical up to isomorphism vs. strict equality. Pullbacks compose naturally without always being literally equal. Diagnostic: Is the argument invariant under replacing a chosen lift by its unique vertical isomorph?
Choice convenience vs. intrinsic structure. A cleavage enables formulas but adds representatives. Diagnostic: Which statements depend on the cleavage?
Total view vs. indexed view. Each presentation simplifies different reasoning. Diagnostic: Are projection, fibers, and coherence translated without changing variance?
Generality vs. size control. Categories of all objects over bases can be large. Diagnostic: What universe or smallness convention makes hom-collections legitimate?
Autonomous fibration vs. descent refinement. Pullback is necessary for stacks but not sufficient. Diagnostic: Has any topology or gluing axiom been added explicitly?

Structural–Framed Character¶

The projection, cartesian universal property, and coherence are strongly structural. Cleavage and strictification choices are frames that select representatives without changing the fibration up to equivalence. Which contexts and objects enter the total category is application-dependent. The construct is domain-specific because its universal arrows and 2-categorical coherence are exact category-theoretic machinery rather than a general notion of variation over context.

Structural Core vs. Domain Accent¶

The transferable skeleton is context-indexed objects plus lawful transport along context changes. The accent is categories, a projection functor, fiber categories, cartesian arrows, unique factorization, cleavage, pseudofunctor coherence, and the Grothendieck construction. Removing those leaves generic contextual dependency or reindexing.

Category is the strict parent. A fibred category is a category equipped with a functor to another category and a distinguished universal lifting structure. Category applies without a base, fibers, or cartesian lifts. The proposed compositional edge records that the fibred identity presupposes categorical objects, arrows, and composition.

The prospective workspace queue contains one strict upward edge to prime:category. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Fibred Category Domain-specific

Parents (1) — more general patterns this builds on

Fibred Category is a kind of Category Prime

Category is the strict parent.

Hierarchy paths (3) — routes to 3 parentless roots

Fibred Category → Category → Associativity → Invariance

Show alternative paths (2)

Neighborhood in Abstraction Space¶

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

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Category Fibred in Groupoids. A fibred category whose vertical morphisms are all invertible.
Stack. A fibred category over a site satisfying descent conditions.
Indexed Category. The pseudofunctor presentation corresponding to a fibration after coherent choices.
Opfibration. Uses cocartesian lifts and covariant direct-image orientation.
Fiber Bundle. A topological map with local-triviality conditions.
Slice Category. One category of arrows over a fixed object, often appearing as a fiber or example.

References¶

[1] The Stacks Project Authors, Section 4.33, Fibred Categories, especially Definition 4.33.5 and Definition 4.33.6, tags 02XJ, 02XM, and 02XN, https://stacks.math.columbia.edu/tag/02XJ. registry ↩

[2] Francis Borceux, Handbook of Categorical Algebra, volume 2, chapter 8, Fibred Categories (Cambridge University Press, 1994), 373–435, https://doi.org/10.1017/CBO9780511525865.010. registry ↩