Related papers: A note on non-unique enhancements
This is a companion overview paper to arXiv:2409.17489: we give all the main definitions, constructions and statements, but no proofs.
We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids -- or in a straightforward generalisation, the…
Given a function on diagonal matrices, there is a unique way to extend this to an invariant (by conjugation) function on symmetric matrices. We show that the extension preserves regularity -- that is, if the original function is k times…
We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category.…
A recollement describes one triangulated category T as "glued together" from two others, S and U. The definition is not symmetrical in S and U, but this note shows how S and U can be interchanged when T has a Serre functor.
We provide an axiomatic approach for studying support varieties of objects in a triangulated category via the action of a tensor triangulated category, where the tensor product is not necessarily symmetric. This is illustrated by examples,…
We prove an additivity for evenly (oddly) finite dimensional objects in distinguished triangles in a triangulated monoidal category structured by an underlying model monoidal category. In particular, the result holds in the Q-localized…
We propose a general method to construct new triangulated categories, relative stable categories, as additive quotients of a given one. This construction enhances results of Beligiannis, particularly in the tensor-triangular setting. We…
In the article arXiv:1806.06471 we defined good metrics on triangulated categories, and then studied the construction, that began with a triangulated category $\mathcal{S}$ together with a good metric $\{\mathcal{M}_i,\,i\in\mathbb{N}\}$,…
The singularity category of a ring detects the homological singularity of the given ring, and appears in many different contexts. We describe two different dg enhancements of the singularity category, that is, the Vogel dg category and the…
Let k be an algebraically closed field, let R be an associative k-algebra, and let F = {M_a: a in I} be a family of orthogonal points in R-Mod such that End_R(M_a) = k for all a in I. Then Mod(F), the minimal full sub-category of R-Mod…
In this note we introduce a new technique to answer an issue posed in [7] concerning geometric properties of the set of non-surjective linear operators. We also extend and improve a related result from the same paper.
Dilatations modify categories by imposing that some morphisms factorize through some others. This is formalized by a universal property. This text is devoted to introduce and study this construction. Examples of dilatations of categories…
In the recent paper "Mutation in triangulated categories and rigid Cohen-Macaulay modules" Iyama and Yoshino consider two interesting examples of isolated singularities over which it is possible to classify the indecomposable maximal…
We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies that the canonical one is invertible. The first example is…
The finitistic dimension of a triangulated category is introduced. For the category of perfect complexes over a ring it is shown that this dimension is finite if and only if the small finitistic dimension of the ring is finite.
We consider the universal pivotal, symmetric, monoidal, $\Bbbk$-linear category, generated by a Schurian object with a skew-symmetric multiplication, and study some of its quotients. We show that these quotients give rise to either vector…
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy both conditions below: (i) There exists a basis for $V$…
We establish several strengthened versions of Lurie's Tannaka duality theorem for certain classes of spectral algebraic stacks. Our most general version of Tannaka duality identifies maps between stacks with exact symmetric monoidal…
We discuss an example of a triangulated Hopf category related to SL(2). It is an equivariant derived category equipped with multiplication and comultiplication functors and structure isomorphisms. We prove some coherence equations for…