Definition. Fiber Category
Given a displayed category over and an object , 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 .