Definition. Reindexing a Displayed Category
Given a displayed category over a category and a functor , the reindexing of along is a displayed category over . It is simply the portion of over the image of .
Given a displayed category over a category and a functor , the reindexing of along is a displayed category over . It is simply the portion of over the image of .