Related papers: Morita theory for stable derivators

We associate a t-structure to a family of objects in D(A), the derived category of a Grothendieck category A. Using general results on t-structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of…

The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be…

Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel [Ha] proved that generalized tilting…

Rickard proved that for certain self-injective algebras, a stable equivalence induced from an exact functor is a stable equivalence of Morita type, in the sense of Brou\'{e}. In this paper we study singular equivalences of finite…

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:…

We construct and study a candidate for the standard motivic t-structure on the triangulated category of relative cohomological 1-motives with rational coefficients over a noetherian finite dimensional scheme S. This t-structure is defined…

The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradual typing. These casts all exhibit a common structural…

This paper develops the homological backbone of the theory of non-commutative $n$-ary $\Gamma$-semirings. Starting from an $n$-ary $\Gamma$-semiring $(T,+,\tilde{\mu})$ and its $\Gamma$-ideals, we work in the slot-sensitive categories of…

We give an alternative construction of the Betti realization functor on the derived category of motives of complex algebraic varieties via the category of CW complexes instead of the category of complex analytic spaces. In particular we…

A.S. Dugas and R. Mart\'{i}nez-Villa proved in \cite[Corollary 5.1]{dm} that if there exists a stable equivalence of Morita type between the $k$-algebras $\Lambda$ and $\Gamma$, then it is possible to replace $\Lambda$ by a Morita…

We introduce the notion of regularity for a relative holonomic $\mathcal D$-module in the sense of arXiv:1204.1331. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of…

We extend Agler's notion of a function algebra defined in terms of test functions to include products, in analogy with the practice in real algebraic geometry, and hence the term preordering in the title. This is done over abstract sets and…

A pair $(A, P)$ is called a cover of $\operatorname{End}_A(P)^{op}$ if the Schur functor $\operatorname{Hom}_A(P, -)$ is fully faithful on the full subcategory of projective $A$-modules, for a given projective $A$-module $P$. By definition,…

Given a category $\mathcal C$ and a directed partially ordered set $J$, a certain category $pro^J -\mathcal C$ on inverse systems in $\mathcal C$ is constructed such that the ordinary pro-category $pro-\mathcal C$ is the most special case…

We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important…

A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy…

We describe a new approach to the definition of the moduli functor of stable varieties. While there is wide agreement as to what classes of varieties should appear, the notion of a family of stable surfaces is quite subtle, as key numerical…

Let $(1)$ be an automorphism on an additive category $\mathcal{B}$, and let $\eta\colon (1)\to {\rm Id}_{\mathcal{B}}$ be a natural transformation satisfying $\eta_{X(1)}=\eta_X(1)$ for any object $X$ in $\mathcal{B}$. We construct a new…

In this note we study the local projective model structure on presheaves of complexes on a site, i.e. we describe its classes of cofibrations, fibrations and weak equivalences. In particular, we prove that the fibrant objects are those…

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…