Indexed category

In category theory, a branch of mathematics, a C-indexed category is a pseudofunctor from Cop to Cat.[1] Any indexed category has an associated Grothendieck construction, which gives rise to a fibred category.


This article is issued from Wikipedia - version of the 9/5/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.