А можно вам задать на эту тему пару вопросов?

1) Нужны ли будут сами триангулированные категории, если появится удовлетворительное оснащение (типа стабильных дериваторов)?
2) Stable model pairs ещё планируете разививать?
3) Чем плохи relative categories Барвика-Кана в этом отношении?

Заранее прошу прощения, если мой вопрос вас затруднит.