Categorical notions of fibration

Abstract

Fibrations over a category $B$, introduced to category theory by Grothendieck, encode pseudo-functors $B^{op}⇝\mathbf{Cat}$, while the special case of discrete fibrations encode presheaves $B^{op}\to \mathbf{Set}$. A two-sided discrete variation encodes functors $B^{op}\times A\to \mathbf{Set}$, which are also known as profunctors from $A$ to $B$. By work of Street, all of these fibration notions can be defined internally to an arbitrary 2-category or bicategory. While the two-sided discrete fibrations model profunctors internally to $\mathbf{Cat}$, unexpectedly, the dual two-sided codiscrete cofibrations are necessary to model $\mathcal{V}$-profunctors internally to $\mathcal{V}$-$\mathbf{Cat}$.

arXiv commentThese notes were initially written by the second-named author to accompany a talk given in the Algebraic Topology and Category Theory Proseminar in the fall of 2010 at the University of Chicago. A few years later, the now first-named author joined to expand and improve in minor ways the exposition. To appear on "Expositiones Mathematicae"

References in corpus (3)

• Higher Topos Theory
• Algebraic weak factorisation systems I: accessible AWFS
• Comprehensive factorisation systems

Cited by in corpus (10)

• Accessible aspects of 2-category theory
• A functorial characterization of von Neumann entropy
• Labelled cospan categories and properads
• Bicategorical type theory: semantics and syntax
• On the Pre- and Promonoidal Structure of Spacetime
• A parametricity-based formalization of semi-simplicial and semi-cubical sets
• Diagrams, Fibrations, and the Decomposition of Colimits
• Exponentiable virtual double categories and presheaves for double categories
• Fibrational Linguistics (FibLang): Language Acquisition
• A geometrical description of untwisted 3d Dijkgraaf-Witten TQFT with defects