Abstract: Abstract In this chapter small categories and functors in a topos E are defined. Functors are then defined from a small category A to E, and the category EA of such functors, and it is proved that £A is a topos. Examples of functor categories on the topos Set are given in Chapter 22. Section 20.l really only applies naive constructions given in Part II to small categories in E. It generalizes the results in Chapter 12 on small categories in a universe of sets.
Publication Year: 1992
Publication Date: 1992-06-04
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot