| |||
|
|
>но "категория векторных пространств", например, не малая категория Ты имеешь в виду "конечномерных". Да, это не малая категория; и это действительно принятая вольность речи -- считать категорию, эквивалентную малой, малой (если ты не Дринфельд, который и этого не позволяет себе). Но только это. Шаг вправо, шаг влево, уже обговаривают. Я бы в самом начале сказал, что рассматриваем только пр-ва со счетной базой, и в этом месте сделал ремарку, что вот мол выглядит как класс, но на самом деле множество. Но воля твоя. Добавить комментарий: |
||||