Sheaves and sheafification on Q-sites

We introduce noncommutative sites over a quantale, the so-called Q-sites, and define appropriate presheaves and sheaves over these. We show how most of the technical machinery which allows to construct sheaves associated to arbitrary presheaves in the commutative cases transposes to this setting. This allows us to define and study sheafification in this new, noncommutative context.