English

Categorical notions of fibration

Category Theory 2020-06-02 v2

Abstract

Fibrations over a category BB, introduced to category theory by Grothendieck, encode pseudo-functors BopCatB^{op} \rightsquigarrow {\bf Cat}, while the special case of discrete fibrations encode presheaves BopSetB^{op} \to {\bf Set}. A two-sided discrete variation encodes functors Bop×ASetB^{op} \times A \to {\bf Set}, which are also known as profunctors from AA to BB. 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 Cat{\bf Cat}, unexpectedly, the dual two-sided codiscrete cofibrations are necessary to model V\cal V-profunctors internally to V\cal V-Cat\bf Cat.

Keywords

Cite

@article{arxiv.1806.06129,
  title  = {Categorical notions of fibration},
  author = {Fosco Loregian and Emily Riehl},
  journal= {arXiv preprint arXiv:1806.06129},
  year   = {2020}
}

Comments

These 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"