 Fundamental theorem of topos theory

In mathematics, The fundamental theorem of topos theory states that the slice formula_1 of a topos formula_2 over any one of its objects formula_3 is itself a topos.Moreover, if there is a morphism formula_4 in formula_2 then there is a functor formula_6 which preserves exponentials and the subobject classifier.