Кстати сказать, поскольку ты когда-то спрашивал, как точно сформулировать однородную кошулеву двойственность, у меня теперь про это написано в тексте, который выложен на http://positselski.narod.ru (в более коротком из двух). В архивной версии этого нет пока еще, но через сколько-то времени архивная версия обновится и тогда это там будет.