Dozhili -- do teoretiko-mnozhestvennyh trudnostej

[posic]

Korrektnost' etogo dokazatel'stva -- http://posic.livejournal.com/243739.html -- upiraetsya v vopros o tom, obrazuyut li mnozhestvo ili klass morfizmy mezhdu dvumya fiksirovannymi ob#ektami v proizvodnyh kategoriyah DG-komodulej i DG-kontramodulej.

Update: написал письмо Х.К. с вопросом на эту тему.