Котензорное произведение абелевых групп кручения
Любимая игрушечная задачка -- как определить тензорную структуру на категории абелевых групп кручения, чтобы группа Q/Z была единичным объектом. Правильный ответ, конечно -- функтор Tor^Z₁. Но как бы это попроще сконструировать явно? Время от времени начинаю думать на эту тему, что-то придумываю, потом обратно забываю; и так всю жизнь. (См., например, раздел 1.9 препринта 1202.2697.)