Естественная трансформация
- Естественные преобразования играют важную роль в алгебраической топологии и теории категорий.
- Они связывают функторы и естественные преобразования, такие как гомоморфизмы Гуревича.
- Определяющий фактор в групповых гомоморфизмах наследует естественное преобразование.
- Примеры естественных преобразований включают инъективное линейное отображение из векторного пространства в его двойное дуальное.
- Конечное исчисление определяет абелеву группу, используя множество функций от целых чисел до базового набора.
- Тензорно-гомологическое присоединение является примером пары сопряженных функторов с естественными преобразованиями.
- Сопряженные функторы определяются естественным изоморфизмом и снабжены двумя естественными преобразованиями, единицей и counit.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: