Еще из старых записок: контрпример к ошибке из книги Гельфанда-Манина

[posic]

Как известно, основная аксиома абелевой категории, принадлежащая Гротендику, утверждает, что всякий морфизм разлагается в композицию коядра и ядра, или, эквивалентным (в предположении существования всех ядер и коядер) образом, канонический морфизм из кообраза в образ любого морфизма является изоморфизмом

Comments

[ploughshare]

Интересно. А где же там это написано? Я что-то не нашел.

[posic]

Глава II, раздел 5 "Аддитивные и абелевы категории", подраздел 11 "Комментарии к аксиоме A4", второй абзац (обозначенный буквой б) или b. или b) в зависимости от издания).

[ploughshare]

Спасибо. Теперь вижу.

[potap]

И Манин лопухнулся! А что уж говорить об нас, грешных. В наших текстах, наверное, каждое кторое утверждение -- или бессмыслица, или ложь.

[posic]

Да, я как раз уже нашел тут некоторое количество бессмыслицы и лжи в одном своем тексте.

[posic]

Впрочем, по внимательном прочтении все верно, хотя и невнятно.

[etre_moral]

Спасибо.