В разделе 6.2 книжки по полубесконечной гомологической алгебре

есть три "предложения" (Propositions -- это так математики называют менее важные из своих теорем), формулировка каждого из которых занимает больше страницы. Там перечислены варианты предположений, при которых некоторые отображения ассоциативности (тензорных операций над полуалгебрами) являются изоморфизмами. Наиболее простые и важные из них, кажется, просто опущены; предполагается, видимо, что читатель, дочитавший до этого места, может сам о них догадаться.

Как пользоваться этими ассоциативностями, я каждый раз с трудом вспоминаю, глядя в собственный текст. В общем, это такие мощные и контринтуитивные технические инструменты, прописанные у меня для неизвестной надобности не в максимальной естественной общности даже, но на уровне общности, сильно превышающем максимальный естественный, где все запутанно и сложно. Много лет еще, видимо, пройдет, даже если я буду жив, пока наука спустится с этих заледеневших вершин на какие-то уровни, интересные и доступные чьему-либо пониманию, кроме меня.