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 𝐹.

reindexing definition entries/displayed-category/reindexing.hel