We will finish our discussion of subobject classifiers by considering the example of sieves in presheaf categories. Then we will define exponential objects and see their construction in presheaf categories. Finally, we will combine notions discussed over the past few weeks to define elementary topoi.