t
В какой сам мономорфизм построишь, к какой мать попросишь?
[я не особо понимаю в теоркате, только в тупых шутках]
[я не особо понимаю в теоркате, только в тупых шутках]
[не пали, я и в тупых шутках не особо]
Size: a a a
2020 July 23
χλ
Не знаете, а у CWM есть качественный pdf, не скан?
NI
Не знаете, а у CWM есть качественный pdf, не скан?
Есть более-менее качественный скан только.
Но видимо, он уже у всех есть.
Но видимо, он уже у всех есть.
AF
есть 2-категория, в которой функторы точечные - это монады 2-чечные
что ето за категория
что ето за категория
Set (если вопрос "какая категория" и не знаешь ответа, надо говорить Set)
ЕО
Set так-то не два-категория
χλ
Set так-то не два-категория
Тогда Cat
t
2-Set!
χλ
2-Set!
А что, звучит
ЕО
2-Set!
0 это множества, 1 это отображения, а 2?
NI
0 это множества, 1 это отображения, а 2?
Естественные преобразования между функторами между подкатегориями Set.
Но всё равно не то.
Но всё равно не то.
t
0 это множества, 1 это отображения, а 2?
если 0 это a
1 это a -> b
то 2 это (f a -> f b) -> (g a -> g b)
1 это a -> b
то 2 это (f a -> f b) -> (g a -> g b)
t
NI
если 0 это a
1 это a -> b
то 2 это (f a -> f b) -> (g a -> g b)
1 это a -> b
то 2 это (f a -> f b) -> (g a -> g b)
НЕТ
t
теоркатщика ответ
ЕО
Нет, если 0 это a, то 1 это a->b, а 2 это (f : a->b) -> ( g : a-> b)
ЕО
Хм, как-то я криво написал
t
а в чем разница между (f : a->b) и (f a -> f b)?
почему тут такой лютый слоумод? эта конфа вроде и так не самая активная, чтобы ее искуственно замедлять.
почему тут такой лютый слоумод? эта конфа вроде и так не самая активная, чтобы ее искуственно замедлять.
ЕО
Кайнды разные