The IPC-property (“inductive limit product commutation property”) is a technical condition on a category $A$ which ensures that presheaves with values in $A$ have a good notion of sheafification.
A category $A$ is said to satisfy the IPC-property if
for
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.