ЗП
Size: a a a
2018 January 12
AT
прикольно! спасибо
ЗП
ну и в агде тоже же кубик добавили
γσ
Обычно так — кто-нибудь (обычно ℵ₀) спрашивает что-то, я вспоминаю про чат, чо-то стараюсь вспомнить из универского курса, чо-то гуглю и отвечаю
в универе был курс по теоркату?
ЕО
Ну да
γσ
а что за университет такой, если не секрет, конечно?
ЗП
так что про Леба?
ЗП
ЗП
ок, тогда с категорной точки зрения теорема Леба это странные петли в ТК?
ЗП
Странные петли — это запутанные категории. Как это понимать?
ЕО
а что за университет такой, если не секрет, конечно?
Матмех СПбГУ
Вл
ну да с ребятами с матмеха (не всего) обычно можно поговорить за агду, бурбаки, гротендика
Вл
мало просто людей в чатиках хочет с рандомами общаться
ЕО
ок, тогда с категорной точки зрения теорема Леба это странные петли в ТК?
А, что с леба? Кто это? Где начало разговора?
2018 February 10
к
https://bartoszmilewski.com/2013/05/15/understanding-yoneda/
вот тут в Yoneda Embedding сказано, что если есть некая категория C с объектами A, X и морфизмами от A к X, то функтор H_A(X) переведет объект X категории C в объект категории Set - множество морфизмов A -> X
вот тут в Yoneda Embedding сказано, что если есть некая категория C с объектами A, X и морфизмами от A к X, то функтор H_A(X) переведет объект X категории C в объект категории Set - множество морфизмов A -> X
к
но как функтор может "узнать" про морфизмы эти
к
может там имелось в виду, что мы берем категорию морфизмов C и переводим объекты этой категории (морфизмы) в объекты Set - множества (все морфизмы A->X будут преобразовываться в одно множество A->X)