тем, кто теоркатом занимается: как вы понимаете предназначение теории категорий? Ради чего в общем она развивается (цели и задачи)? И чем по сути (определение понятия на естественном языке) является?
Главная ценность в понятии универсального свойства и способе доказательств который оно открывает. Можно теперь получать более сущностные доказательства без лишних ад хок конструкций. Своего рода обобщение "бескоординатного" подхода из алгебры.
Вот, это уже интересно. То есть это формализованный метод, который развивается для эффективной работы в областях, где он применим?
Я скорее не понял вопроса
Занимаюсь компьютерным программированием, анализом структур в т ч программного кода. Заинтересовали в какой-то мере лекции Милевского, где приводится не так уж и много практических примеров для "насущных" проблем, что весьма ожидаемо. Надо сначала овладеть теорией и потом ее применять. Мне в моих задачах очень помогают понятия конечного объекта, произведения; сопряжённые функторы (особенно свободно-забывающее сопряжение)
Обсуждают сегодня