For another example, the pretopologies on the category of finite dimensional smooth manifolds given by * <del>open covers</del> * maps of the form $\coprod U_i \to X$ for a given open cover $(U_i)$ * surjective local diffeomorphisms * surjective submersions all generate the same topology. The last three are nested, and the second is cofinal in the other two. <del>The second and the first are equivalent because of [superextensivity](http://ncatlab.org/nlab/show/superextensive+site).</del> If you are willing to weaken the concept of pretopology to that of [coverage](http://ncatlab.org/nlab/show/coverage) then the coverage of (EDIT: coproducts of) [smooth good open covers](http://ncatlab.org/nlab/show/good+open+cover) on manifolds also generates the same topology.