Тензорно-гомологическое присоединение
- Тензорное соединение образует сопряженную пару с hom-функтором.
- Порядок следования членов в фразе «присоединение тензора к hom» отражает их взаимосвязь.
- Рассматриваются категории правых модулей для колец R и S.
- Определяются функторы F и G, которые примыкают друг к другу.
- Присоединение tensor-hom может быть описано числовыми и единичными естественными преобразованиями.
- Функтор Hom коммутирует с произвольными пределами, в то время как тензорное произведение коммутирует с ограничениями.
- Невозможность сохранить короткие точные последовательности мотивирует определение функтора Ext и функтора Tor.
Полный текст статьи: