Теория Категории. Решить функтор

Desktop Apps, Tuition — incorrectly specified categories?

Теория Категории 3 курс. Необходимо доказать функтор ( и расписать действия)

Задание: Пусть 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 также изоморфизм.

Proposals Discussions 1