- Естественное преобразование
-
Есте́ственное преобразова́ние (функторный морфизм) — одно из основных понятий теории категорий.
Если и — ковариантные функторы из категории в , то отображение, при котором каждому объекту категории соответствует морфизм категории , причём для любого морфизма категории диаграмма, изображённая на рисунке ниже, коммутативна, называется естественным преобразованием . В случае контравариантных функторов и определение аналогично (необходимо только обратить стрелки).
Содержание
Примеры
Пример естественного преобразования
Примером естественного преобразования может служить определитель. В самом деле пусть — коммутативное кольцо, тогда квадратные матрицы порядка над образуют моноид по умножению, а — мультипликативный моноид самого кольца . Пусть будет функтором, переводящим кольцо в моноид матриц над ним. Поскольку определитель выражается через умножение, сложение и вычитание, которые сохраняются (что означает перестановочность морфизма и этих операций) морфизмами кольца , то отображение будет естественным преобразованием между функтором и функтором, тождественно сопоставляющим каждому кольцу его мультипликативный моноид (оба функтора из категории коммутативных колец в категорию моноидов ).
Пример «неестественного» преобразования
Приведём пример преобразования, не являющегося естественным. Пусть — n-мерное векторное пространство над полем . — его базис, — базис сопряжённого пространства функционалов , такой что
где — символ Кронекера. Все n-мерные пространства изоморфны. Положим
и распространим линейно на всё пространство . отображает тождественный (очевидно ковариантный) функтор в контравариантный функтор , отображающий векторное пространство в сопряжённое пространство функционалов. Если мы возьмём категорию конечномерных векторных пространств, где морфизмами будут изоморфизмы (а не любые линейные отображения), то можно заменить контравариантный функтор ковариантным функтором (где , ). Преобразование не будет естественным даже в простейшем случае одномерного пространства над полем действительных чисел. В самом деле, пусть V одномерно и изоморфизм является умножением на 2:
Тогда , в то время как , то есть диаграмма некоммутативна.
Причина этого совершенно ясна — определяется совершенно случайно выбранным базисом. Если мы возьмём второе сопряжённое пространство , то в случае конечномерного пространства существует изоморфизм (а именно для любого и функционала ). В данном случае изоморфизм определяет естественное преобразование тождественного функтора в функтор .
Полиморфные функции
Другой важнейший пример естественных преобразований — полиморфные функции (имеется в виду параметрический полиморфизм). Примером такого преобразования является функция reverse :: forall a . [a] -> [a], переворачивающая список элементов произвольного типа. В данном случае h(T) — это reverseT :: [T] -> [T]; а функторы F и G — это List.
Сформулировать этот факт можно так: forall f :: a -> b : map f . reversea = reverseb . map f. Это — одна из так называемых «бесплатных теорем».
Естественность всех параметрически полиморфных функций — это следствие теоремы Рейнольдса.
Литература
- Дольд А. Лекции по алгебраической топологии — М.: Мир, 1976.
- Маклейн С. Гомология — М.: Мир, 1966.
- Маклейн С. Категории для работающего математика — М.: Физматлит, 2004.
- Wadler, Philip — Theorems for free!
Категория:- Теория категорий
Wikimedia Foundation. 2010.