The assumption that every set has a Weakly Initial Set of Covers, or , is a weak form of the axiom of choice. Like the axiom of multiple choice and the axiom of small violations of choice (which both imply it), it says intuitively that “ fails to hold only in a small way” (i.e. not in a proper-class way).
Precisely, is the statement that for any set , the full subcategory of the slice category consisting of the surjections has a weakly initial set. In other words, there is a family of surjections such that for any surjection , there exists some which factors through .
WISC is implied by COSHEP, since any surjection such that is projective is necessarily a weakly initial (singleton) set in .
WISC is also implied by the axiom of multiple choice (which is in turn implied by COSHEP). For if is in some collection family , then the family of all surjections of the form is weakly initial in .
WISC also follows from the assertion that the free exact completion of is well-powered, which in turn follows from assertion that has a generic proof (so that is a topos). Both of these can also be regarded as saying that choice is only violated “in a small way.”
WISC implies the local essential smallness of .
Let be small categories and consider the category , with objects which are spans
where is a surjective-on-objects, fully faithful functor. The underlying map on object sets is . By WISC there is a surjection and a map over . We can thus define a commuting triangle of functors
where is the canonical fully faithful functor arising from (the arrows of are given by ). This gives rise to a transformation from to a span with left leg . Thus is equivalent to the full subcategory of anafunctors where the left leg has as object component an element of the weakly initial set of surjections. Since there is only a set of functors for each , this subcategory is small.
Let be a site with a singleton Grothendieck pretopology . It makes sense to consider a version of WISC for , along the lines of the following: Let be the full subcategory of the slice category consisting of the covers. WISC then states that
This definition is called external because it refers to an external category of sets. This is to be contrasted with the internal version of WISC, discussed below.
Assuming AC for , the category with any of its usual pretopologies satisfies 'internal WISC'. Consider, for instance, the pretopology in which the covers are the maps admitting local sections, i.e. those such that for any there exist an open set such that is split epic. If satisfies AC, then a weakly initial set in is given by the set of all maps where is an open cover of . For if admits local sections, then for each we can choose an over which has a section, resulting in an open cover of for which factors through . (If merely satisfies WISC itself, then a more involved argument is required.)
And now a non-example
The category of affine schemes can be equipped with the fpqc topology (so this is the fpqc site over ). This does not satisfy WISC. Namely, given any set of fpqc covers of , there is a surjective fpqc map which is refined by none of the given covering families (Stacks Project Tag 0BBK).
More generally, for a non-singleton pretopology on , we can reformulate WISC along the lines of 'there is a set of covering families weakly initial in the category of all covering families of any object'.
Given a site with subcanonical, and finitely complete, we can define a (weak) 2-category of internal categories, anafunctors and transformations. If WISC holds for , then is locally essentially small.
To consider an internal version of WISC, which doesn’t refer to an external notion of set, one needs to assume that the ambient category has a strong enough internal logic, such as a pretopos (this is the context in which van den Berg and Moerdijk work). Then the ordinary statement of WISC in set can be written in the internal logic, using the stack semantics, as a statement about the objects and arrows of . It is in this form that WISC is useful as a replacement choice principle in intuitionistic, constructive or predicative set theory, as these are modelled on various topos-like categories (or in the case of van den Berg and Moerdijk, a category of classes, although this is not necessary for the approach).
WISC is called the “axiom of multiple choice”.
The following two papers give models of set theory (without large cardinals) in which WISC fails
The Stacks Project shows how to construct a counterexample to WISC from any set of fpqc covers of an affine scheme.