Abstract:Let $F\colon \mathcal{C} \to \mathcal{E}$ be a functor from a category $\mathcal{C}$ to a homological (Borceux-Bourn) or semi-abelian (Janelidze-Márki-Tholen) category $\mathcal{E}$. We investigate conditions under which the homology of an object $X$ in $\mathcal{C}$ with coefficients in the functor $F$, defined via projective resolutions in $\mathcal{C}$, remains independent of the chosen resolution. Consequently, the left derived functors of $F$ can be constructed analogously to the classical abelian case. Our approach extends the concept of chain homotopy to a non-additive setting using the technique of imaginary morphisms. Specifically, we utilize the approximate subtractions of Bourn-Janelidze, originally introduced in the context of subtractive categories. This method is applicable when $\mathcal{C}$ is a pointed regular category with finite coproducts and enough projectives, provided these projectives are closed under protosplit subobjects, a new condition introduced in this article and naturally satisfied in the abelian context. We further assume that the functor $F$ meets certain exactness conditions: for instance, it may be protoadditive and preserve proper morphisms and binary coproducts - conditions that amount to additivity when $\mathcal{C}$ and $\mathcal{E}$ are abelian categories. Within this framework, we develop a basic theory of derived functors, compare it with the simplicial approach, and provide several examples.

Derived category of weak chain U -complexes

Continuum Response and Reaction in Neutron-Rich Be Nuclei

Cochain complexes over a functor

Derived Categories and Projective Classes

Chain duality for categories over complexes

Homotopy types of diagrams of chain complexes

The stabilized bounded N-derived category of an exact category

The Cohomology Group of Weak Entwining Structure

An axiomatic approach to virtual chains

Weak stability conditions and the space of chains of torsion classes

The simplicial coalgebra of chains under three different notions of weak equivalence

Derived Complete Complexes at Weakly Proregular Ideals

Non-additive derived functors via chain resolutions

On Pure Derived Categories

Higher K-theory of forms II. From exact categories to chain complexes

The Homotopy Category and Derived Category of N-complexes

Relations Between the Strong Global dimension, Complexes of Fixed Size and Derived Category

Relative derived equivalences and relative homological dimensions

Homotopy cofinality for Non-Abelian homology of group diagrams

Koszul duality for non-graded derived categories

Extending cycles to the coHochschild complex