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 isomorphic 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 .
Last revised on April 27, 2011 at 13:03:29. See the history of this page for a list of all contributions to it.