а может быть такое что функторы тоже образуют категории, какие-то функторы похожи на друг друга, и между функторами можно тоже функтор провести?
МИМО ГУМАПИДОР

(Reply to this) (Parent) (Thread)

Функторы между парой ктегорий тоже образуют категорию. И, да, между ними тоже бывают функторы.

(Reply to this) (Parent) (Thread)

И там че - бесконечный регресс?

(Reply to this) (Parent) (Thread)

Поче регресс? Прогрессия.

(Reply to this) (Parent) (Thread)

да, регресс это про причиность и аргументацию, скорее тогда рекурсивность и итерационность процесса "категории функтов категорий функтов..."

(Reply to this) (Parent) (Thread)

*функторов

(Reply to this) (Parent)