The IPC-property (“inductive limit product commutation property”) is a technical condition on a category which ensures that presheaves with values in have a good notion of sheafification.
A category is said to satisfy the IPC-property if
the canonical morphism
is an isomorphism.
The IPC property is definition 3.1.10 in
It is invoked for sheafification in section 17.4 there.
Created on March 31, 2009 19:06:54
by Urs Schreiber