2Gathering observations from previous exercises, the functor Sieve is isomorphic to the subobject classifier Ω in Psh(C).