Pre-triangulated category that isn't triangulated 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:


*

*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.)

*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.)
 A: Don't know if you're still interested in this question, but for anyone who is curious about it, the answer seems to be that there are no pretriangulated categories that are not triangulated.
Macioca Pre-triangulated categories are triangulated. Unfortunately, the article is removed by the author with the comment: "There is a serious error at the end of the proof of 3.4 which cannot be fixed. There is a counterexample to the statement of 3.4 due to Canonaco and Kunzer. Lemma 3.5 also needs stronger hypotheses."
A: I have to say that this article
http://arxiv.org/abs/1506.00887
has at least one mistake.
Lemma 3.5,
Counterexample - take group $G=$ sequences of integer numbers $=\mathbb{Z}^\mathbb{N}$.
$\ell$ and $m$ are right and left shift respectively.
Then $m\circ\ell=id$, so $Image(e)=G$.
A: Yes, I'm about to post some fixes. My interest in it was really just the k-linear case. In fact, that example is not a counterexample to the main result because the map omega_* cannot be an injection (as the spectral sequence implies that the kernel and cokernel must either both not vanish or both vanish). However,in replacing Lemma 3.5 I need an assumption on the enrichment. This means that the result is still open for the general case. It seems to work for k-linear, divisible, finitely generated and, as it were, co-finitely generated (ie the duals of finitely generated groups). The assumptions are not likely to be necessary though and I would expect that someone better equipped to deal with the infinite group case might be able to fix it. 
There are a couple of of other blunders at the end. In particular, there is some mistake in the uniqueness result. I've removed it in the meantime.
I'll post the fixes on arxiv in a day or so.
Antony Maciocia
A: I think there do exists some pretriangulated categories which are not triangulated.  There are at least two methods to produce such examples, although I don't have any concrete example. 
The first is algebraic. Let $\mathcal{A}$ be an abelian category, $\mathcal{B}$ a functorially finite subcategory. Then the quotient category $\mathcal{A}/\mathcal{B}$ is a pretriangulated category, but it is usually not triangulated.
The second is topological. Take a Quillen model category which is also an additive category, but which is not a stable model category. Then the homotopy category of this model category is a pretriangualted category which is not triangulated. 
