\(K\)-theory for triangulated categories. \(3\frac 12(A)\): A detailed proof of the theorem of homological functors (Q1591573)

The purpose of the present article [together with \textit{A. Neeman}, ``\(K\)-Theory for triangulated categories 3 \(1\over 2\)(B)'', \(K\)-Theory 20, 243-298 (2000; Zbl 0968.18008) where the proof is completed] is to prove that any bounded \(\delta\)-functor between abelian categories induces a natural map in \(K\)-theory. It is an outgrowth of the series of articles by the same author on the \(K\)-theory of triangulated categories: \textit{A. Neeman}, ``\(K\)-theory for triangulated categories. I(A): Homological functors'', Asian J. Math. 1, No. 2, 330-417 (1997; Zbl 0906.19002); ``I(B): Homological functors'', Asian J. Math. 1, No. 3, 435-529 (1997; Zbl 0906.19003); ``II: The subtlety of the theory and potential pitfalls'', Asian J. Math. 2, No. 1, 1-125 (1998; Zbl 0923.19002); ``III(A): The theorem of the heart'', Asian J. Math. 2, No. 3, 495-589 (1998; Zbl 0937.19001); ``III(B): The theorem of the heart'', Asian J. Math. 3, 555-606 (1999).