Понял сегодня вечером, что не понимаю даже того
что такое конический слабый предел категорий. Как получить категорию Эйленберга-Мура в виде предела диаграммы, составленной из категории с монадой? Не могу врубиться в то, что утверждается по этому поводу в литературе. На самый первый поверхностный взгляд, вроде оно не бессмысленно, а в деталях картинка не складывается у меня. Надо, видимо, вчитаться в работу Росса Стрита 1976 года.
В среднем в последние дни, я раз в день понимаю одну какую-то новую вещь про пределы категорий. Все ради того, чтобы подать в журнал по теории категорий статью по теории категорий, на которой не будет просто написано по диагонали большими красными буквами "автор алгебраист и чайник", а будет написано "автор, конечно, алгебраист и чайник, но во что-то он все-таки постарался вникнуть".
В среднем в последние дни, я раз в день понимаю одну какую-то новую вещь про пределы категорий. Все ради того, чтобы подать в журнал по теории категорий статью по теории категорий, на которой не будет просто написано по диагонали большими красными буквами "автор алгебраист и чайник", а будет написано "автор, конечно, алгебраист и чайник, но во что-то он все-таки постарался вникнуть".