Let be a small stable -category. We denote by the object
|
|
|
in whose indexing maps are induced from the above diagram
(9.14). Note that is functorial in and
that we have a natural map . We obtain then a
well-defined functor along with a natural transformation:
| (9.16) |
|
|
|
|
|