 A point of a topos "X" is defined as a geometric morphism from the topos of sets to "X".If "X" is an ordinary space and "x" is a point of "X", then the functor that takes a sheaf "F" to its stalk "Fx" has a right adjoint
(the "skyscraper sheaf" functor), so an ordinary point of "X" also determines a topos-theoretic point.These may be constructed as the pullback-pushforward along the continuous map "x"