 formula_14, so for any object "A" in formula_2 there is a morphism formula_16 and thereby a pullback functor formula_17, which is why any slice formula_18 is also a topos.For a given slice formula_19 let formula_20 denote an object of it, where "X" is an object of the base category.Then formula_21 is a functor which maps