EDIT: Are there references to the literature that works out dervied functors for categories enriched over abelian monoids? (I narrowed down the question in the hope for an answer.)

MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

definedto be associative!) – Qfwfq Sep 18 '11 at 15:10