  We present and characterize the classes of Grothendieck toposes having enough
supercompact objects or enough compact objects. In the process, we examine the
subcategories of supercompact objects and compact objects within such toposes
and classes of geometric morphism which interact well with these objects. We
also present canonical classes of sites generating such toposes.
