Definition: cofinal functor between triangulated categories

74 Views Asked by At

In Def 1.1 this paper it says about a functor between triangulated categories $i:C \rightarrow D$ is cofinal.

This does not seem to be the usual one for categories. Am I correct in understanding that it means

$i$ is cofinal iff For all $d \in D$ exists some $c$, such that $d$ is a direct some of $i(c)$?

1

There are 1 best solutions below

0
On BEST ANSWER

As the definition says, $i$ must be fully faithful and every object of $D$ must be a summand of an object in the image of $i$. You are right that this is essentially unrelated to the generally category theory notion of cofinality.