ct.category theory - Pre-triangulated category that isn't triangulated

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