Оглавление
Функтор обратного изображения
-
Определение и свойства функтора
- Функтор – это отображение между категориями, сохраняющее структуру.
- Функтор может быть точным или левым сопряженным.
- Обратный функтор может быть определен для некоторых функторов, но не всегда.
-
Примеры функторов
- Отображение между множествами и множествами функций является функтором.
- Отображение между группами и группами гомоморфизмов также является функтором.
-
Свойства обратного функтора
- Обратный функтор является точным, если исходный функтор является точным.
- Обратный функтор является левым сопряженным к прямому изображению исходного функтора.
-
Морфизмы и естественное соответствие присоединения
- Существуют естественные морфизмы между обратным изображением и прямым изображением исходного функтора.
- Эти морфизмы не всегда являются изоморфизмами.
-
Рекомендации по форматированию
- Приведены рекомендации по форматированию цитат и библиографических описаний в HTML.
Полный текст статьи: