Телеграмм чат группы ru_catheory страница 263

функтор состоит из отображения объектов, которое в данном случае является функцией между множествами и индекстированных двумя
индексированную двумя объектами из A отображение морфизмов, которое получается функцией из декартового произведения множества объектов A c A во множество функций морфизмов

источник

11:48пожаловаться #7

Oℕ

Oleg ℕizhnik in Теория категорий

получаешь, что функтор - это пара множеств функций между множествами therefore множество

источник

11:49пожаловаться #8

Oℕ

Oleg ℕizhnik in Теория категорий

т.е. надо много раз использовать факт, что отображение между множествами - множество

источник

11:50пожаловаться #9

Sergey Makarov in Теория категорий

Oleg ℕizhnik

т.е. надо много раз использовать факт, что отображение между множествами - множество

А, вот, есть значит такое утверждение

источник

11:51пожаловаться #10

Oℕ

Oleg ℕizhnik in Теория категорий

Да, конечно

источник

11:51пожаловаться #11

_________ _________ in Теория категорий

Sergey Makarov

Как проверить, что некая совокупность является множеством? В том учебнике, что кидали выше, часто встречается упражнение "проверить, что категория K является (локально) малой", то есть нужно показать, что морфизмы между объектами образуют множество, как это сделать?

блин вот да порой раздражаен игнорирование теоретико-множественных тонкостей

источник

12:02пожаловаться #12

_________ _________ in Теория категорий

типа просто два морфизма предъяви и будет тебе множество морфизмов, и все доказательство?

источник

12:03пожаловаться #13

Cohesive Elijah in Теория категорий

Oleg ℕizhnik

если ты смог построить эквивалентность с малой категорией, твоя категория - малая

Не совсем.

источник