For a given (finite) set of (objects and) morphisms $f_i$ in a triangulated category $C$ I am interested in a (non-full!) triangulated subcategory $C'\subset C$ of "small size" that would contain them. Certainly, there should not exist "the triangulated subcategory generated by $f_i$"; yet I suspect that one choose a $C'$ such that its objects and morphism set is countable (in the case when my set of $f_i$ is countable). Are any results of this sort known?
Can triangulated categories be "approximated by countable subcategories" (that are triangulated but not full!)?
Mikhail Bondarko
- 16.9k
- 4
- 34
- 97