На последней встрече, вчера, было продолжено обсуждение абелевых категорий и «точности». Про первые: обсудили ещё одно (к двум, введённым в прошлый раз) определение абелевой категории, как категории, обогащённой над категорией абелевых групп (я перечислил всю иерархию по Фрейду: предаддитивные-аддитивные-предабелевы-абелевы). Рассмотрели связь мономорфизмов и ядер: вспомнили, что любое ядро, как любой уравнитель, является мономорфизмом; доказали, что если морфизм в абелевой категории является моно... read more
