>изучение абстрактных групп и колец как раз положило начало абстрактной алгебре;
>категории продолжают эту абстракцию дальше.

Категории возникли, когда Эйленберг и МакЛейн пытались
формализовать понятие естественного преобразования в алгебраической топологии.
Так что в историческом смысле это утверждение неверно.

Если же историю игнорировать, то категории продолжают абстракции
в куче областей: алгебре, топологии, анализе…
Причём здесь именно алгебра, совершенно неясно.

(Reply to this) (Parent) (Thread)

Категории возникли, когда Эйленберг и МакЛейн пытались
формализовать понятие естественного преобразования в алгебраической топологии.

именно: в алгебраической топологии. АЛГЕБРАической.

(Reply to this) (Parent) (Thread)

>именно: в алгебраической топологии. АЛГЕБРАической.

Алгебраическая топология — часть алгебры?

(Reply to this) (Parent)