theory, triangulated categories, representation theory) overlapping with homological