Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 310

A triangulated category is an additive category equipped with the additional structure of an autoequivalence (called the translation functor) and a class of of triangles satisfying certain axioms.

8 votes
Accepted

Can one extend a morphism of commutative triangles to a morphism of octahedral diagrams?

It is true in a Heller triangulated category aka $\infty$-triangulated category (although strictly speaking one only needs a 3-triangulation for octahedra) that any morphism between the bases of octah …
Greg Stevenson's user avatar
2 votes

exactness in triangulated categories is reflected by hom-functor

There is a similar question here. It is asked in the particular case of the derived category of abelian groups and a counterexample is given by Tyler Lawson. There is also an answer of mine which all …
Greg Stevenson's user avatar
18 votes
Accepted

Splitting in triangulated categories

So if I understand correctly the question you wanted to ask was: Is it true that a triangle $$X \stackrel{u}{\to} Y \stackrel{v}{\to} Z \stackrel{w}{\to} \Sigma X$$ is split if and only if one of $u$, …
Greg Stevenson's user avatar
2 votes

Is K(R-Mod) compactly generated when R is an artin algebra?

The answer is in general no - $K(R\text{-}\mathrm{Mod})$ can fail to be well generated even when $R$ is artinian. As you mention $K(R\text{-}\mathrm{Mod})$ is compactly generated if $R$ is of finite r …
Greg Stevenson's user avatar
22 votes
Accepted

Why do people "forget" Verdier abelianization functor?(Looking for application)

The problem with respect to applications of the abelianization is that the abelian categories one produces are almost uniformly horrible. More precisely they are just too big to deal with. So using th …
Greg Stevenson's user avatar
10 votes
Accepted

Classifying triangulated structures on a graded category

Generally speaking a unique lifting does not exist and I believe it is open as to what the possible liftings can be. As an example of the non-uniqueness consider a slight variant of the particular ca …
6 votes

Localization(s) of Categories

For triangulated categories the notion of Bousfield localization is a "special case" of the notion of Verdier quotient. As you observe (and is shown in Lemma 3.1 of the paper you mention) any Bousfiel …
Greg Stevenson's user avatar
9 votes

distinguished triangles and cohomology

I just wanted to point out that this failure is quite standard rather than pathological. As a starting point it can go wrong more generally than Tyler points out. For instance there exist triangles wh …
Greg Stevenson's user avatar
9 votes
Accepted

Verdier duality via Brown representability?

The category of sheaves of $\mathbb{Q}$ vector spaces on $M$ is a Grothendieck abelian category. It follows that the derived category of such, $D(M)$ in your notation, is a well generated triangulated …
Greg Stevenson's user avatar
8 votes
Accepted

Is the tensorproduct of a triangulated category with a ring again triangulated?

I would imagine it is false in general that given a triangulated category $T$ the category $T\otimes R$ is also triangulated. The following is a concrete counterexample. Consider $D^b(\mathbb{Z})$ an …
Greg Stevenson's user avatar
9 votes
Accepted

Freyd-Mitchell for triangulated categories?

There are some things like what you ask for but as Tyler points out one needs restrictions on the categories one can consider. Any algebraic triangulated category which is well generated is equivalen …
Greg Stevenson's user avatar
14 votes
2 answers
956 views

Is there a constructive description of type in the p-local stable homotopy category?

The title pretty much sums it up - but let me give a little bit of background first. In the p-local stable homotopy category (basically one localizes away the torsion spectra which are not p-torsion) …
Greg Stevenson's user avatar
17 votes
Accepted

What is the relationship between t-structure and Torsion pair?

The two notions are related in the sense that they share a common generalization, namely the notion of torsion pair on a pre-triangulated category (this term has at least two meanings, here we mean a …
Greg Stevenson's user avatar
4 votes
Accepted

Tate Cohomology via stable categories

To address Hanno's question about checking that composition gives a graded-commutative ring structure on $End^{*}(\mathbb{Z}) = \oplus_i [\mathbb{Z}, \Omega^{-i} \mathbb{Z}]$ suppose first that $a \st …
Greg Stevenson's user avatar
12 votes

Categories which are not compactly generated

One example is the following - suppose that $M$ is a non-compact connected manifold of dimension $\geq 1$. Then the unbounded derived category of chain complexes of sheaves of abelian groups on $M$ ha …
Greg Stevenson's user avatar

15 30 50 per page