...Но всё же я этих ваших искусственных болванов захейтил :)

опус4.6

4.6: функтор C[−] не верен на абелевых группах

разве??

4.6: Функтор верен (не склеивает стрелки), но склеивает объекты с точностью до изоморфизма. Спасибо за вопрос — формулировка «не верен» была ошибкой.

жпт5.3

функтор C[−] не верен на абелевых группах?

5.3: Не верен (не faithful).

разве??

5.3: Ты прав: на категории групп функтор C[-] верен (faithful).

💪🏻👊🏆