NI
Не знаю... Но видел людей, которым его статьи больше нравятся, чем "исходник".
Size: a a a
2020 January 12
AZ
Не знаю... Но видел людей, которым его статьи больше нравятся, чем "исходник".
Вот я такой человек. Я посмотрел на вадлер пейпер и оригинал. Оригинал сильно мутнее я и бы его не понял 100%. Пейпер валдера намного легче читается и понимается. Имхо конечно
МБ
Ну... Да. Пишет он хорошо
2020 January 14
G
Всем привет
G
Помогите прочесть это определение. У меня в нотации возник ступор, как читать выражения в (a), (b) и (c)?
G
G
Например, что такое
F(f: A -> B)? Мой мозг это воспринимает как функция, которая принимает функцию, но думаю, что это не так?AZ
ну А очевидно что функтор F поднимает функцию f типа A -> B и делает её
F f типа F a -> F bNM
Помогите прочесть это определение. У меня в нотации возник ступор, как читать выражения в (a), (b) и (c)?
(a) F от морфизма f из A в B - это морфизм F(f) из F(A) в F(B)
(b) F от композиции - композиция образов
(c) F от единичного - единичный
(b) F от композиции - композиция образов
(c) F от единичного - единичный
AZ
(a) F от морфизма f из A в B - это морфизм F(f) из F(A) в F(B)
(b) F от композиции - композиция образов
(c) F от единичного - единичный
(b) F от композиции - композиция образов
(c) F от единичного - единичный
от единичного единичнцый - не лучшее объяснение для человека на 8 странице учебника
NM
от единичного единичнцый - не лучшее объяснение для человека на 8 странице учебника
Так определение категории уже было
AZ
если 1A это идентити функтор то что означает F(1A)? было бы F* 1A было бы понятно, но нет же
NM
если 1A это идентити функтор то что означает F(1A)? было бы F* 1A было бы понятно, но нет же
1_A из примера выше - это единичный морфизм, а не функтор
AZ
Я тоже так подумал. но сразу после этого они с той же нотацией говорят что 1C это функтор
NM
Я тоже так подумал. но сразу после этого они с той же нотацией говорят что 1C это функтор
Поэтому кто-то пишет 1C (или с двойным подчеркиванием), кто-то - 1C, кто-то не выделяет никак и путает всех
AZ
Помогите прочесть это определение. У меня в нотации возник ступор, как читать выражения в (a), (b) и (c)?
у бартоша такой фигни нет)
AZ
Поэтому кто-то пишет 1C (или с двойным подчеркиванием), кто-то - 1C, кто-то не выделяет никак и путает всех
почему-то так и подумал. Но спасибо за уточнение
G
(a) F от морфизма f из A в B - это морфизм F(f) из F(A) в F(B)
(b) F от композиции - композиция образов
(c) F от единичного - единичный
(b) F от композиции - композиция образов
(c) F от единичного - единичный
Спасибо, вроде понял
NI
Например, что такое
F(f: A -> B)? Мой мозг это воспринимает как функция, которая принимает функцию, но думаю, что это не так?Совсем грубо -- берёт "множество" "функций" одной категории и отображает в "множество" "функций" другой категории.
Но должны выполняться равенства "гомоморфизма", т.е., функториальность.
Но должны выполняться равенства "гомоморфизма", т.е., функториальность.
Oℕ
Например, что такое
F(f: A -> B)? Мой мозг это воспринимает как функция, которая принимает функцию, но думаю, что это не так?стоит помедитировать некоторое время, чтобы перестать воспринимать стрелки как функции