In this work we construct an extension for the category of 0-modules by analogy with [5]. The 0-cohomology functor becomes a derived functor in the extended category. As an application of this construction we calculate the cohomological dimension of so-called 0-free monoids.