For the state of the art on sheaves of sets, see this chapter-length introduction to sheaf theory by Claudia Centazzo and Enrico M. Vitale.