Related papers: So, what is a derived functor?

We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces…

In this paper, we consider associative algebras equipped with derivations. A pair consisting of an associative algebra and a distinguished derivation is called an AssDer pair. We study central extensions and formal one-parameter…

Let $\md^b(A)$ be the derived category of a finite dimensional basic algebra $A$ with finite global dimension. We construct the Lie algebra arising from the 2-periodic version $\mk_2(\mp(A))$ of $\mk^b(\mp(A))$ in term of constructible…

In previous work, we defined the category of functors Fquad, associated to vector spaces over the field with two elements equipped with a nondegenerate quadratic form. In this paper, we define a special family of objects in the category…

In this paper, we study homological dimensions of algebras linked by recollements of derived module categories, and establish a series of new upper bounds and relationships among their finitistic or global dimensions. This is closely…

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…

We consider the derivatives of Horn hypergeometric functions of any number variables with respect to their parameters. The derivative of the function in $n$ variables is expressed as a Horn hypergeometric series of $n+1$ infinite summations…

We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The…

We characterize virtual double categories of enriched categories, functors, and profunctors by introducing a new notion of double-categorical colimits. Our characterization is strict in the sense that it is up to equivalence between virtual…

By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for any abelian category A, a functor between the categories of complexes of diagrams over X and Y with…

This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence…

Definitions of fractional derivatives as fractional powers of derivative operators are suggested. The Taylor series and Fourier series are used to define fractional power of self-adjoint derivative operator. The Fourier integrals and Weyl…

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…

We specialise a recently introduced notion of generalised dinaturality for functors $T : (\mathcal{C}^\text{op})^p \times \mathcal{C}^q \to \mathcal{D}$ to the case where the domain (resp., codomain) is constant, obtaining notions of ends…

Let $k$ be a regular ring, and let $A,B$ be essentially finite type $k$-algebras. For any functor $F:{D}(A)\times\dots\times{D}(A)\to{D}(B)$ between their derived categories, we define its twist…

We study the concept of extended derivations of algebras which expands diverse definitions of generalized derivations given in the literature. We concentrate on the family of the anti-commutative algebras and classify such spaces of…

We develop a functorial theory of spinor and oscillator representations parallel to the theory of Schur functors for general linear groups. This continues our work on developing orthogonal and symplectic analogues of Schur functors. As…

A new integral representation is derived using a definite integral given by Cauchy and used to evaluate a number of integrals containing the finite series of special functions.

Let X_1 and X_2 be schemes of finite type over a field of characteristic 0. Let Q be an object in the category D-mod(X_1\times X_2) and consider the functor F:D-mod(X_1)->Dmod(X_2) defined by Q. Assume that F admits a right adjoint also…

We give in this paper an isomorphism theorem between derived functors over categories of modules.There is a nice class of categories that gives examples in which this theorem applies for a special construction. This leads us to a new…