Boolean localization, in practice

Abstract

A new proof of the existence of the standard closed model structure for the category of simplicial presheaves on an arbitrary Grothendieck site is given. This proof uses the principle of Boolean localization.