representable fibered category
Elías Guisado
Given an object in a category the domain functor from the slice category to is a fibered category (i.e. Grothendieck fibration).
Any fibered category equivalent to the is said to be representable. This is because under the Grothendieck construction representable fibered categories correspond precisely to representable functors : the category is the category of elements of the representable functor .