Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I've been working through some of the early parts of Neeman's book on triangulated categories, and he mentions that he does not know of a pre-triangulated category that is not triangulated. Is this still an open question? Actually, let me be a bit more specific and break this into two parts:

  1. The usual axioms for a triangulated category are known to be redundant. Do we know of a list of independent axioms? (Peter May wrote something about this, and it's the best I've seen but it still doesn't give independence results for the new list of axioms.)
  2. Assuming it is known that, say, the octahedral axiom is independent from the others, what is an example of a pre-triangulated category that is not a triangulated category?

It appears that if there is such an example, it would have to be very artificial... all of the pre-triangulated categories appearing in nature are automatically triangulated. (I haven't read all of May's article but it looks like he explains how one usually goes about proving that the octahedral axiom holds for a given category, so perhaps this would give some clues for situations where this would fail.)

share|improve this question
I've never thought hard about producing a counterexample but I have discussed this with a couple of people relatively recently and they weren't aware of any examples of a category which was pre-triangulated but not triangulated. –  Greg Stevenson Jul 14 '10 at 23:48
Part 2 of this question came up in a local reading group - even though it's not so recent, I hope people won't mind my attempting to bump it up again. Is there still no known example, abstract or otherwise? –  Jan Grabowski May 19 '14 at 15:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.