Related papers: A functorial approach to $0$-abelian categories
In an abelian category $\mathscr{A}$ with small ${\rm Ext}$ groups, we show that there exists a one-to-one correspondence between any two of the following: balanced pairs, subfunctors $\mathcal{F}$ of ${\rm Ext}^{1}_{\mathscr{A}}(-,-)$ such…
For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture…
Auslander's formula shows that any abelian category C is equivalent to the category of coherent functors on C modulo the Serre subcategory of all effaceable functors. We establish a derived version of this equivalence. This amounts to…
We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are…
Let $n$ be a non-negative integer. An exact category $\C$ is said to be an $n$-Frobenius category, provided that it has enough $n$-projectives and $n$-injectives and the $n$-projectives coincide with the $n$-injectives. It is proved that…
We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category…
A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of the classical tangent bundle of smooth manifolds. In this…
In this work we construct an extension for the category of 0-modules by analogy with [H.-J. Baues and G. Wirshing, Cohomology of small categories, J. Pure Appl. Algebra, 38(1985), 187-211]. The 0-cohomology functor becomes a derived functor…
We give a classification of substructures (= closed subbifunctors) of a given skeletally small extriangulated category by using the category of defects, in a similar way to the author's classification of exact structures of a given additive…
We discuss some recent developments in the theory of abelian model categories. The emphasis is on the hereditary condition and applications to homotopy categories of chain complexes and stable module categories.
We introduce a relative tilting theory in abelian categories and show that this work offers a unified framework of different previous notions of tilting, ranging from Auslander-Solberg relative tilting modules on Artin algebras to…
We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories:…
As shown in a previous paper by the same authors, the theory of Galois functors provides a categorical framework for the characterisation of bimonads on any category as Hopf monads and also for the characterisation of opmonoidal monads on…
In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on…
For a positively graded artin algebra $A=\oplus_{n\geq 0}A_n$ we introduce its Beilinson algebra $\mathrm{b}(A)$. We prove that if $A$ is well-graded self-injective, then the category of graded $A$-modules is equivalent to the category of…
We develop a string-net construction of a modular functor whose algebraic input is a pivotal bicategory; this extends the standard construction based on a spherical fusion category. An essential ingredient in our construction is a graphical…
In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of…
We investigate the behavior of singularity categories and stable categories of Gorenstein projective modules along a morphism of rings. The natural context to approach the problem is via change of rings, that is, the classical adjoint…
Let $k$ be a unital commutative ring. In this paper, we study polynomial functors from the category of finitely generated free nilpotent groups to the category of $k$-modules, focusing on comparisons across different nilpotency classes and…
We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology theories for directed structures. This means in particular…