Oℕ
вон профункторы - для пары объектов имеешь множество, для морфизма туда или сюда - имеешь функцию между хомсетами
Size: a a a
2020 July 20
Oℕ
можно это и как функторы описать
Oℕ
для каждых a и b существует естественное преобразование С(a, b => -) -> C(b, a => -) между парой функторов C -> Set
Oℕ
да ещё и изоморфизм
Oℕ
или даже говорят изоморфизм C(a, b => c) -> C(b, a => c), естественный по a, b и c, т.е. между функторами
(C_op, C_op, C) -> Set
(C_op, C_op, C) -> Set
2020 July 23
χλ
Неплохая проверка.
Я уж испугался, что про функторы будут что-то спрашивать...
Я уж испугался, что про функторы будут что-то спрашивать...
Oℕ
можем спросить
χλ
@kana_sama, привет _)
Oℕ
привет
χλ
можем спросить
Страшно
ЕО
Придётся доказать лемму йонеды
t
есть две категории. в одной функторы точеные, в другой монады дроченые
χλ
есть две категории. в одной функторы точеные, в другой монады дроченые
#quote
χλ
Придётся доказать лемму йонеды
Хм, прочитал лемму, звучит не слишком сложно
Oℕ
есть две категории. в одной функторы точеные, в другой монады дроченые
есть 2-категория, в которой функторы точечные - это монады 2-чечные
что ето за категория
что ето за категория
ЕО
Хм, прочитал лемму, звучит не слишком сложно
По сути первое содержательное утверждение в теории категорий. Идеально подходит для теста
χλ
По сути первое содержательное утверждение в теории категорий. Идеально подходит для теста
Ну а если совсем новичка (вроде меня) спрашиваете?
Тут одно доказательство может быть, "по лицу не бейте"
Тут одно доказательство может быть, "по лицу не бейте"
ЕО
Я так пошутил :(
χλ
Я так пошутил :(
Да я понимаю
Г
В какой сам мономорфизм построишь, к какой мать попросишь?
[я не особо понимаю в теоркате, только в тупых шутках]
[я не особо понимаю в теоркате, только в тупых шутках]