The associated sheaf functor in an elementary topos

[1]  Peter Freyd,et al.  Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.