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.

Parallelism Theorem and Derived Rules for Parallel Coherent Transformations

True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans

Left-Linear Rewriting in Adhesive Categories

Parallelization in Calculational Forms.

Rewriting techniques for relative coherence

The Coherence Theorem for Ann-Categories

Almost Coherence of Higher Direct Images

Co-t-structures on derived categories of coherent sheaves and the cohomology of tilting modules

Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories

Coherent confluence modulo relations and double groupoids

Deriving Parallel Codes Via Invariants

Derived Equivalences Via HRS-tilting

Covariant Derivatives on Homogeneous Spaces: Horizontal Lifts and Parallel Transport

Covariant Derivatives on Homogeneous Spaces -- Horizontal Lifts and Parallel Transport

Diffuse radio emission in a REFLEX cluster

Coherence and Confluence

From Differential Linear Logic to Coherent Differentiation

Subsumptions of Algebraic Rewrite Rules

Homotopy coherent theorems of Dold-Kan type

Turning cycles into spirals

Non-additive derived functors via chain resolutions