posic | Блин, да что ж это такое

Задумался, думал, думал. Исписал полстраницы бумаги категориями и функторами. Придумал умственный подход, основанный на передовых достижениях умственной мысли. Стал писать постинг в ЖЖ, написал абзаца три.

Потом заметил, что что-то в случае аффинной схемы (которым наполовину ограничивался мой умственный подход) оно как-то и без того малость очевидно. Потом стал думать про случай произвольной схемы. И вспомнил переписку с аспирантами, как я им указал, а они мне возразили.

Что ж до меня доходит-то, как до жирафа. Там в моей последней статье, в коммутативной диаграмме, полная строгость левой вертикальной стрелки следует из аргумента аспирантов + теоремы Д.О. А у меня об этом ничего не говорится. Вообще о свойствах этой стрелки -- гробовое молчание у меня там. А она вон вполне строгая по такой простой причине. Что немаловажно. Недосмотр получается.

Хотя вообще это еще вопрос, проста ли причина. Доказательство теоремы Д.О. я не разбирал.

Update: нет, все-таки так получается консервативность только; и полная строгость в аффинном случае.