So what is your question? The standard definition of a topos spells out the structural constraints for subobject classifier, finite limits, and Cartesian closure. You can write out these definitions for the topos of sets and any "small" structures in your topos which are points of the specified logical/structural variety will be small toposes internal to the topos of sets.