2 апреля 2015 · Комментарий

Без заголовка

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

К записи · К обсуждению