Вот, например, тензорное произведение абелевых групп -- это такая операция ⊗
Z, что
Z/m(1) ⊗
Z Z/m(1) =
Z/m(2).
А котензорное произведение -- это такая операция □
Q/Z, что
Q/
Z(1) □
Q/Z Q/
Z(1) =
Q/
Z(2).
Навеяно
http://xaxam.livejournal.com/744318.htmlРанее на ту же тему --
http://posic.livejournal.com/946905.html