Abstract

Abstract In this chapter, we employ the canonical set theory of a topos ε in S, to give a set-theoretic description of the structure of εand to construct exponentials and finite colimits. If εhas copowers then (set-indexed) disjunctions, V, are available in the language.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call