Displayed Categories

We introduce and develop the notion of displayed categories. A displayed category over a category C is equivalent to ‘a category D and functor F : D → C’, but instead of having a single collection of ‘objects of D’ with a map to the objects of C, the objects are given as a family indexed by objects of C, and similarly for the morphisms. This encapsulates a… CONTINUE READING