1. Определение полубесконечных
2. Определение полубесконечных гомологий и когомологий (некоторого класса) ассоциативных алгебраических структур как двусторонних производных функторов на некоторых экзотических производных категориях.
3. Вычисления в ассоциативном случае:
а) теорема сравнения 1<->2;
б) пример малой квантовой группы с унипонентной/борелевской подалгеброй.
Ситуация в целом: имеются достаточно удовлетворительные общие определения, применимые к великому множеству случаев. [Например, у любой конечномерной ассоциативной алгебры с подалгеброй, при некоторых условиях "общности положения" (проективности и инъективности, точнее) можно определить полубесконечные (ко)гомологии.] В то же время примеров, для которых полубесконечные гомологии вычислены, пока что почти нет.