Сбылась мечта

[timelets]

Когда я был студентом, я мечтал доказать, что опредленные класс решений не только эмпирически возможен, но и теоретически необходим. Как пишут в немых фильмах ,"Прошло много лет" и я совершенно случайно узнал от Влада (juan_gandhi - огромное спасибо!) про теорию категорий. Причем поводом для этого был пост человека, которого я выкинул из френдов по совершенно не относящейся к делу причине. Главное, что всего за несколько месяцев борьбы с ологами не одно, а два(!) доказательства (и многие другие вещи) вылезли как бы сами собой. Сегодня вечером, например, я понял, как использовать pushouts для развития теории, основанной на одном из доказательств. Не то, чтобы совсем понял, но есть идея, как двигаться дальше. Надеюсь, я прав в своих догадках.

Удивительное чувство.  Спасибо всем!!!  Особенно zeit_raffer за комментарии к диаграммам и поддержку.

Картинки из книжки про ологи для привлечения внимания ;)