МБ
А как будет выглядеть функтор дельта?
Он все объекты перевдит в c, а стрелки в id_c
Size: a a a
2020 February 23
AK
В этом случае
Oℕ
ну видите, так и будет выглядеть
AK
Здесь нет дельты
Oℕ
а дельтой что вы назваете?
Oℕ
константный функтор?
AK
Да, константный
Oℕ
ну нарисуйте две линии из 1 и 2 в (String, Int) или любой другой тип
Oℕ
будет вам константный функтор
AK
Как его определить на скале / хаскеле:
1 -> ("a", 1)
2 -> ("b", 2)
Выбрать произвольно значения?
1 -> ("a", 1)
2 -> ("b", 2)
Выбрать произвольно значения?
Oℕ
на скале\хаскеле вы не можете адекватно рассуждать о теоркате,
Oℕ
но любой тип сам по себе задаёт константный функтор в Hask однозначно
Oℕ
поэтому если вы напишете Double - это будет определением какого-то дельта
AK
на скале\хаскеле вы не можете адекватно рассуждать о теоркате,
Но как мне проверить, что я понял правильно?
Oℕ
Но как мне проверить, что я понял правильно?
скорее всего, если будете использовать ЯП как базу для понимания теорката, вы не поймёте правильно
AK
Как вы понимаете, что поняли правильно?
Oℕ
сначала удовлетворяюсь ощущением инсайта, сверяю, что все утерждения в контексте вписываются в моё понимание, потом решаю какие-то задачки
CE
Как вы понимаете, что поняли правильно?
Как понять, что понял правильно, что понял правильно?
Oℕ
иногда формализую, но на подходящем языке, конкретно я использую Arend, но подойдёт любой из популярных завтипных
однако обычно такая формализация требует уже сложившегося понимания
однако обычно такая формализация требует уже сложившегося понимания