Определение точной категории контрагерентных копучков на схеме имеется теперь в интернете и по-английски --
http://positselski.narod.ru/contrah.ps . И прямые-обратные образы еще.
По-русски оно там висит уже три месяца --
http://posic.livejournal.com/786051.html?mode=reply , или даже все четыре --
http://posic.livejournal.com/771746.html . Вот как раз та часть черновика, что живет прямо по средней ссылке, теперь по первой ссылке написана в виде статьи.