A category equipped with a Grothendieck topology.