![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Четырьмя вещами можно заниматься бесконечно
и они никогда не наскучат: смотреть на горящий огонь, текущую воду и чужую работу, а также бросать вызов ассоциирующимся с истеблишментом гражданам демонстративным отказом шагать в строю, который они воображают себе, что возглавляют.
(Вопрос жизни: неужели без меня не достаточно желающих шагать в этом вашем строю? -- Ответ: с точки зрения граждан, воображающих себя во главе строя, шагающих за ними всегда недостаточно.)
В промежутках между этими увлекательными занятиями, однако, надо работать. Например, я тут обнаружил, что классический функтор co-hom Такеучи (не путать с моим и некоторых других авторов функтором Cohom) есть просто контратензорное произведение одного аргумента (скажем, правого комодуля) на двойственное векторное пространство к другому (тоже правому комодулю). Двойственное векторное пространство к правому комодулю есть левый контрамодуль, и его можно контратензорно помножить на правый комодуль.
(Вопрос жизни: неужели без меня не достаточно желающих шагать в этом вашем строю? -- Ответ: с точки зрения граждан, воображающих себя во главе строя, шагающих за ними всегда недостаточно.)
В промежутках между этими увлекательными занятиями, однако, надо работать. Например, я тут обнаружил, что классический функтор co-hom Такеучи (не путать с моим и некоторых других авторов функтором Cohom) есть просто контратензорное произведение одного аргумента (скажем, правого комодуля) на двойственное векторное пространство к другому (тоже правому комодулю). Двойственное векторное пространство к правому комодулю есть левый контрамодуль, и его можно контратензорно помножить на правый комодуль.