English
Related papers

Related papers: Definability and approximations in triangulated ca…

200 papers

Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We generalize here this notion, in order to consider situations…

Logic in Computer Science · Computer Science 2019-03-14 Pierre-Louis Curien , Samuel Mimram

Given a thick subcategory of a triangulated category, we define a colocalisation and a natural long exact sequence that involves the original category and its localisation and colocalisation at the subcategory. Similarly, we construct a…

Category Theory · Mathematics 2015-10-23 Hvedri Inassaridze , Tamaz Kandelaki , Ralf Meyer

In this article, we show that the localization of an extriangulated category by a multiplicative system satisfying mild assumptions can be equipped with a natural, universal structure of an extriangulated category. This construction unifies…

Category Theory · Mathematics 2021-06-17 Hiroyuki Nakaoka , Yasuaki Ogawa , Arashi Sakai

By counting with triangles and the octohedral axiom, we find a direct way to prove the formula of To\"en in \cite{Toen2005} for a triangulated category with (left) homological-finite condition.

Quantum Algebra · Mathematics 2008-08-27 Jie Xiao , Fan Xu

The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an…

Representation Theory · Mathematics 2014-12-24 Yann Palu

We study the uniqueness of enhancements of tensor-triangulated categories. To do so, we provide conditions under which these enhancements interact well with categorical decompositions. As an application we obtain new results about the…

Algebraic Topology · Mathematics 2024-08-30 Scott Balchin , Constanze Roitzheim , Jordan Williamson

Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put…

Algebraic Topology · Mathematics 2022-01-21 James Gillespie

Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed…

Algebraic Topology · Mathematics 2013-10-15 Ronald Brown , Rafael Sivera

In this paper, we are concerned with Gorenstein projective objects in homotopy categories. Specifically, we present a characterization on Gorenstein projective objects in the category of complexes. Using this result, it is proved that the…

Rings and Algebras · Mathematics 2016-10-04 Lu Bo , Liu Zhongkui

Following an idea of Kontsevich, we introduce and study the notion of formal completion of a compactly generated (by a set of objects) enhanced triangulated category along a full thick essentially small triangulated subcategory. In…

Algebraic Geometry · Mathematics 2010-08-13 Alexander I. Efimov

The goal of the article is to better understand cosupport in triangulated categories since it is still quite mysterious. We study boundedness of local cohomology and local homology functors using Koszul objects, give some characterizations…

Algebraic Geometry · Mathematics 2020-06-16 Xiaoyan Yang

To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the…

Algebraic Geometry · Mathematics 2007-05-23 B. Toen , M. Vaquie

It is well known that a resolving subcategory $\mathcal{A}$ of an abelian subcategory $\mathcal{E}$ induces several derived equivalences: a triangle equivalence $\mathbf{D}^-(\mathcal{A})\to \mathbf{D}^-(\mathcal{E})$ exists in general and…

Category Theory · Mathematics 2020-10-27 Ruben Henrard , Adam-Christiaan van Roosmalen

We prove that, in a triangulated category with combinatorial models, every localizing subcategory is coreflective and every colocalizing subcategory is reflective if a certain large-cardinal axiom (Vopenka's principle) is assumed true. It…

Category Theory · Mathematics 2013-12-10 Carles Casacuberta , Javier J. Gutiérrez , Jiří Rosický

We prove new Brown representability theorems for triangulated categories using metric techniques as introduced in the work of Neeman. In the setting of algebraic geometry, this gives us new representability theorems for homological and…

Algebraic Geometry · Mathematics 2025-04-17 Kabeer Manali Rahul

We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories.…

Category Theory · Mathematics 2017-04-24 Leonid Positselski , Jiri Rosicky

The cluster category is a triangulated category introduced for its combinatorial similarities with cluster algebras. We prove that a cluster algebra A of finite type can be realized as a Hall algebra, called the exceptional Hall algebra, of…

Representation Theory · Mathematics 2007-05-23 Philippe Caldero , Bernhard Keller

The aim of this paper is to develop a framework for localization theory of triangulated categories $\mathcal{C}$, that is, from a given extension-closed subcategory $\mathcal{N}$ of $\mathcal{C}$, we construct a natural extriangulated…

Category Theory · Mathematics 2025-05-22 Yasuaki Ogawa

We introduce a general categorical framework for finiteness conditions that unifies classical notions such as Noetherianness, Artinianness, and various forms of topological compactness. This is achieved through the concept of…

Category Theory · Mathematics 2025-09-15 David Forsman

This paper introduces a notion of categorical approximability for metric spaces that can be viewed as a categorification of approximability for metric groups, as defined by Turing in 1938. Approximability as introduced here is a property of…

Symplectic Geometry · Mathematics 2026-01-21 Giovanni Ambrosioni , Paul Biran , Octav Cornea