А я уже сам встал и зажил утренней жизнью. Сейчас работаю с кольцами и исписываю тетрадку разными диаграммами. Коммутативная диаграмма - карта малого путешествия. Ты можешь пойти так, а можешь так, и придешь в одно место. И что в этом такого? А так складывается, что есть области, в которых мышление выстроено на коммутативных диаграммах как на атомах, ты мыслишь не объектами, а диаграммами, связками, автоматически гоняешь леммы о змее. Кстати, начинаю прикидывать, как выстроено мышление карточных менталистов - там тоже коммутативные диаграммы! Манипуляции с кольцами (жонглерскими) - тоже отдельный мир, позавчера у меня впервые получился один трюк, вчера он повторился несколько раз, сегодня он должен стать уже обычным делом. Так случается. Если хоть один раз удался трюк, это значит, ты его можешь повторить. Кстати, кто любит всякие 2-категории, категории трэков, здесь есть 2-категорная лемма о змее (лемма об анаконде) и еще множество забавных диаграммок, которые явно сложнее рисовать в техе, чем доказывать http://arxiv.org/abs/0809.1760
↧