Описание проекта
Задание: Пусть C - категория со всеми эквалайзерами, а функтор F: C → D является консервативным функтором, который сохраняет эквалайзеры. Покажите, что F также является правильным функтором
Определения:
Правильный функтор - Функтор F: C → D называем правильным функтором, если его действие на морфизмах между определенными объектами дифференцируется, т. е. Для любых объектов A, B в категории C и морфизмов f, g: A → B, если F f = F g, то f = g.
Консервативный функтор - Функтор F: C → D является консервативным функтором, если он отражает изоморфизмы, т. Е. Для любых объектов A, B в категории C и морфизма f: A → B, если F f является изоморфизмом, то f также изоморфизм.