Контрамодульное тензорное произведение

Вот, кстати, хороший вопрос про него: можно ли определить тензорное произведение контрамодулей над кокоммутативным кокольцом над коммутативным кольцом (скажем, в обычном предположении, что кокольцо является проективным модулем над кольцом)?

Свойства у этого тензорного произведения должны быть такие: коммутативность, ассоциативность, точность справа, коммутация с прямыми суммами (в категории контрамодулей), единичный объект -- свободный контрамодуль с одной образующей (т.е., индуцированный со свободного модуля с одной образующей).

И не является ли это частным случаем прописанного у меня определения тензорного произведения контрамодулей над коммутативным топологическим кольцом, у которого открытые идеалы образуют базу окрестностей нуля?

Циклы вознаграждения

http://tsvetna.livejournal.com/2353218.html

Я устроен противоположным образом по отношению к описанному в постинге по ссылке, по-моему. По опыту, я не знаю более верного способа причинить себе страдания, перейти в состояние подавленности, безразличия к жизни, поиска способов немедленно умереть за какое-нибудь правое дело и проч., чем, преодолевая себя, сделать какую-то неприятную, но почему-то признанную необходимой к выполнению работу.

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

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