Тринадцать лет назад: разница между контратензорным произведением и контрагерентным тензорным
произведением.

Фейсбучный постинг от 25 июля 2012 года -- https://www.facebook.com/posic/posts/pfbid02BPTWnr3Dn84wZsL9VGjSb2UXfpKK95P3M6ysYxyh963C4nv7RypCaDQaZwFxiMo5l :

Writing about the contraherent tensor product of a quasi-coherent sheaf and a contraherent cosheaf, as opposed to the contratensor product of the same. The contraherent tensor product is like the quasi-coherent internal Hom (the latter is constructed using the coherator functor, while the former requires the contraherator). The contratensor product, on the other hand, is something that is hard to explain, but the dedicated readers of my comodule-and-contramodule papers should by now know it by heart.