Related papers: Half exact functors associated with cotorsion pair…
For a map f: X -> Y of quasi-compact quasi-separated schemes, we discuss quasi-perfection, that is, the right adjoint f^\times of the derived functor Rf_* respects small direct sums. This is equivalent to the existence of a functorial…
We consider a notion of exact sequences in any -not necessarily exact- pointed category relative to a given (E;M)-factorization structure. We apply this notion to introduce and investigate a new notion of exact sequences of semimodules over…
Consider an exact category in the sense of Quillen. Assume that in this category every morphism has a kernel and that every kernel is an inflation. In their seminal 1982 paper, Beilinson, Bernstein and Deligne consider in this setting a…
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…
We develop a theory of completeness for weight structures on stable categories, dual to the theory of complete t-structures. As in the bounded case, we show that complete weight structures are determined by their weight heart, giving rise…
We give a condition for an exact functor between triangulated categories to be an equivalence. Applications to Fourier-Mukai transforms are discussed. In particular, we obtain a large number of such transforms for K3 surfaces.
We mainly investigate abelian quotients of the categories of short exact sequences. The natural framework to consider the question is via identifying quotients of morphism categories as modules categories. These ideas not only can be used…
We investigate the triangulated hull of the orbit categories of the perfect derived category and the bounded derived category of a ring concerning the power of the suspension functor. It turns out that the triangulated hull will correspond…
We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial…
We show that every additive category with kernels and cokernels admits a maximal exact structure. Moreover, we discuss two examples of categories of the latter type arising from functional analysis.
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…
We exploit the equivalence between $t$-structures and normal torsion theories on a stable $\infty$-category to show how a few classical topics in the theory of triangulated categories, i.e., the characterization of bounded $t$-structures in…
Let A be a commutative noetherian ring, and \a an ideal in it. In this paper we continue the study, begun in [PSY1], of the derived \a-adic completion and the derived \a-torsion functors. Here are our results: (1) a structural…
We classify compactly generated co-t-structures on the derived category of a commutative noetherian ring. In order to accomplish that, we develop a theory for compactly generated Hom-orthogonal pairs (also known as torsion pairs in the…
Holm (H. Holm, Modules with cosupport and injective functors, Algebr. Represent. Theor., 13 (2010), 543-560) considers categories of right modules dual to those with support in a set of finitely presented modules. We extend some of his…
We give a natural notion of (non-exact) integral functor in the context of k-linear and graded categories. In this broader sense, we prove that every k-linear and graded functor is integral.
What has category theory to offer to Banach spacers? In this second part survey-like paper we will focus on very much needed advanced categorical and homological elements, such as Kan extensions, derived category and derived functor or…
The goal of this paper is to relate the quantum category $\mathcal{O}$ (known also as the category of modules over the mixed quantum group) at an odd root of unity to the affine Hecke category. Namely, we prove equivalences of highest…
In the first part of this note, we review and compare various instances of the notion of twisted coefficient system, a.k.a. polynomial functor, appearing in the literature. This notion hinges on how one defines the degree of a functor from…
We prove that the map on Balmer spectra induced by a fully faithful geometric functor is a quotient map whose fibers are connected. This is an analogue of the Zariski Connectedness Theorem in algebraic geometry and it can be applied to a…