# Indexed category

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

## References

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.