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