September 26th, 2017

Придумал новый термин

Производная псевдо-эквивалентность между абелевыми категориями A и B -- это триангулированная категория D с двумя t-структурами производного типа, сердцевины которых суть A и B.

Упражнение: между любыми двумя абелевыми категориями A и B существует производная псевдо-эквивалентность. (Рассмотреть D = D(A) ⊕ D(B), помня о том, что t-структуры бывают вырожденными.)

Более трудным упражнением было бы сформулировать дополнительные условия, делающие производную псевдо-эквивалентность нетривиальным понятием, и найти интересные примеры. У меня есть некоторые соображения на эту тему, но поля этого дневника слишком узки и т.д.

https://www.facebook.com/posic/posts/1888476271167198