Мантра про полубесконечные когомологии

[posic]

В случае конечномерных алгебр и модулей, теория функтора SemiExt из моего трактата производит на свет в качестве полубесконечных когомологий проконечномерные ("компактные") векторные пространства, поскольку они суть просто двойственные пространства к SemiTor. Теория же полубесконечных когомологий из статьи в Compositio производит в качестве полубесконечных когомологий индконечномерные ("дискретные") векторные пространства, причем всегда не более чем счетномерные. Непонятно, как сравнивать одно с другим.

P.S. Но есть естественное отображение из второго в первое.