The Azimuth Project
Displayed category

Definition. A displayed category is a lax functor π’žβ†’π•Špan(Set)\mathcal{C} \to \mathbb{S}\mathsf{pan}(\mathsf{Set}).

The following theorem is a generalization of the equivalence given by the Grothendieck construction between indexed categories and fibred categories. It can be found as Proposition 4 in Pavlovic-Abramsky, where they say they could not find the proof in any published work.

Theorem. π’ž/Cβ‰…[C,Span] lax\mathcal{C}/C \cong [C, \mathsf{Span}]_{lax}.


The term was introduced in: