Related papers: Non-additive derived functors via chain resolution…

Given an additive category $\mathcal{C}$ and an integer $n\geqslant 2$. We form a new additive category $\mathcal{C}[\epsilon]^n$ consisting of objects $X$ in $\mathcal{C}$ equipped with an endomorphism $\epsilon_X$ satisfying…

We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and…

We instal homological algebra, including derived functors, on certain non-additive categories like categories of pointed CW-complexes, modules of monoids or sheaves thereof. We apply this theory to Monoid schemes and sheaves on them,…

Let A be an algebra with a countable basis and let B be, say, a Frechet algebra that contains A as a dense subalgebra. This embedding induces a functor from the derived category of B-modules to the derived category of A-modules. In many…

For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy…

Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of…

We define the functor $\textrm{ncDef}_{(Z_1,\ldots,Z_n)}$ of non-commutative deformations of an $n$-tuple of objects in an arbitrary $k$-linear abelian category $\mathcal{Z}$. In our categorified approach, we view the underlying spaces of…

Let $G$ and $A$ be objects of a finitely cocomplete homological category $\mathbb C$. We define a notion of an (internal) action of $G$ of $A$ which is functorially equivalent with a point in $\mathbb C$ over $G$, i.e. a split extension in…

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…

We prove that a homotopy cofinal functor between small categories induces a weak equivalence between homotopy colimits of pointed simplicial sets. This is used to prove that the non-Abelian homology of a group diagram is isomorphic to the…

The main goal of this paper is to prove the following: for a triangulated category $ \underline{C}$ and $E\subset \operatorname{Obj} \underline{C}$ there exists a cohomological functor $F$ (with values in some abelian category) such that…

Let $C$ be an additive category with cokernels and let Mod($C$) be the category of additive functors from $C^{op}$ to the category Ab of abelian groups. Let mod($C$) be the full subcategory of Mod($C$) consisting of coherent functors. In…

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…

This is the first installment in a series of papers in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information. To effect this…

In this paper, we discuss certain circumstances in which the category of tame functors inherits an abelian category structure with minimal resolutions and a model category structure with minimal cofibrant replacements. We also present a…

We characterize projective objects in the category of internal crossed modules within any semi-abelian category. When this category forms a variety of algebras, the internal crossed modules again constitute a semi-abelian variety, ensuring…

We show under suitable finiteness conditions that a functor between abelian categories induces a (not necessarily additive) map between their Grothendieck groups. This is related to the derived functors of Dold and Puppe, and generalizes a…

We develop a cohomological approach to M\"obius inversion using derived functors in the enriched categorical setting. For a poset $P$ and a closed symmetric monoidal abelian category $\mathcal{C}$, we define M\"obius cohomology as the…

Suppose we are given complex manifolds $X$ and $Y$ together with substacks $\mathcal{S}$ and $\mathcal{S}'$ of modules over algebras of formal deformation $\mathcal{A}$ on $X$ and $\mathcal{A}'$ on $Y$, respectively. Suppose also we are…

Classical homological algebra considers chain complexes, resolutions, and derived functors in additive categories. We describe "track algebras in dimension n", which generalize additive categories, and we define higher order chain…