Россия -- мир доминирования

Это страна неравных, вертикальных отношений между людьми. В научно-образовательной отрасли это ощущается очень остро. Люди сбиваются в стаи во главе с предводителями, чтобы пилить бюджеты и распоряжаться административной валютой. Начальник покровительствует талантливому подчиненному, ожидая соответствующего поведения с его стороны.

Поскольку я в этих отношениях не участвовал и соблюдать правила этой игры не стремился, я оказывался в положении изгоя и беззащитной жертвы посягательств со всех сторон. Человеком, которому хамят коллеги на семинарах и секретарши в переписке.

Что представляет собой в этом смысле Чехия, я не знаю и, может быть, мне не нужно и невозможно это толком знать -- я здесь чужой. Но во всяком случае, нравы здесь мягче. До сих пор мои начальники тут ничего чересчур категорически от меня не требовали и проявляли готовность находить взаимоприемлемые решения.

В общем, можно сказать, что даже и в условиях корона-паники терпимость к моей неконформности здесь пока остается достаточно высокой. То есть, на приемлемом уровне. Ситуация полна угроз, но пока что до сих пор все проблемы решались. Что будет дальше, мы увидим.

Думал, я уже все подготовил

и дописываю последнюю главу. Мол, могу уже писать доказательство основной теоремы. Но приглядываясь повнимательней, нет, еще кое-чего не хватает. Почему производный функтор композиции (обратных образов при композиции морфизмов) изоморфен композиции производных функторов? Такие вещи не автоматичны, их доказывать надо.

К предыдущему

Вообще, то, что я сейчас пишу, эта последняя глава, она устроена так. Есть простая выкладка, цепочка из 5-7 равенств (точнее, изоморфизмов), которую можно написать ручкой на одной странице бумаги. Собственно, с этого я и начал.

Но потом нужно определить все символы (функторы), входящие в эти формулы. Построить производные функторы, и т.д. Это во-первых. И во-вторых, нужно обосновать каждое равенство в цепочке (построить изоморфизмы).

Определение каждого функтора занимает подраздел на полторы страницы. Конструкция каждого изоморфизма в цепочке тоже занимает подраздел на полторы страницы. Итого десяток подразделов в главе.