Categorical notions of fibration
Abstract
Fibrations over a category , introduced to category theory by Grothendieck, encode pseudo-functors , while the special case of discrete fibrations encode presheaves . A two-sided discrete variation encodes functors , which are also known as profunctors from to . 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 , unexpectedly, the dual two-sided codiscrete cofibrations are necessary to model -profunctors internally to -.
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"