Definition. Fiber Category

Given a displayed category over π’žοΈ€ and an object 𝑐:π’žοΈ€0, the fiber of over 𝑐 is the category whose objects are the displayed objects , and whose morphisms are the vertical morphisms , those lying over the identity.

Identities are the displayed identities. The displayed composite of two vertical morphisms lies over 𝗂𝖽𝑐⋆𝗂𝖽𝑐 rather than 𝗂𝖽𝑐, so composition in the fiber transports it along 𝗂𝖽𝖫𝗂𝖽𝑐.

fiber-category definition entries/displayed-category/fiber-category.hel