В Праге дождь
Apr. 24th, 2022 02:51 pmКак известно, я обычно не пользуюсь зонтами (у меня вообще нет дома зонтика). Гулять под дождем сверх необходимости все-таки сегодня не стал, приехал на работу на трамвае. По дороге от остановки до института промок окончательно. Рубашка под курткой мокрая, кроссовки полны воды. Сижу, пишу доказательство Главной Теоремы о Полной Строгости Триангулированного Функтора, Индуцированного Вложением Полной Точной DG-Подкатегории. Аргумент знакомый, все основные леммы для него уже подготовлены, проблем не ожидается, хотя возможно, конечно, всякое.