AZ
2 или 3 страница
Size: a a a
2019 December 18
A
А что за книжка кстати?
AZ
милевский
AZ
на порядок лучше того, что я встречал до этого, но все равно местами трудновато
AZ
мб я не умный конечно, но как-то так
KV
на порядок лучше того, что я встречал до этого, но все равно местами трудновато
https://bartoszmilewski.com/2014/05/08/understanding-limits-2/
Это видели? Вроде, в TOC этого нет
Это видели? Вроде, в TOC этого нет
AZ
не видел
KV
Виноват, значит, в книжку не попало почему-то. Но логически предшествует
AZ
ок. Завтра тогда прочитаю ссылку, а потом перечитаю главу
AZ
спасибо!
A
Тут на аватарке, кстати, расслоенное произведение -- тоже пример предела
AZ
какой аватарке?
A
Чата
B
Как минимум индуктивные типы должны идти в комплекте с принципом индукции, а он невыразим
Эм. Можете пояснить?
KV
Brenoritvrezorkre
Эм. Можете пояснить?
В хаскелле нет завтипов, так что принцип индукции не записать
B
А, ясно.
B
Можно косвенно записать, наверное, через синглтоны, но я не хаскеллист.
B
А вот насчёт трансфинитной сомневаюсь
Oℕ
я пытаюсь понять что такое лимиты
Можно начать с частных случаев
Произведение пары, затем произвольного размера (включая 0)
Эквалайзер пары, потом произвольного набора морфизмов.
Пулбек пары, затем произвольного набора объектов.
Скипнуть под предлогом "вряд ли понадобится" можно сразу весь теоркат
Произведение пары, затем произвольного размера (включая 0)
Эквалайзер пары, потом произвольного набора морфизмов.
Пулбек пары, затем произвольного набора объектов.
Скипнуть под предлогом "вряд ли понадобится" можно сразу весь теоркат
Oℕ
Учитывая, что все лимиты можно выразить через произведение произвольного набора и эквалазер пары, либо через пулбек произвольного числа и произведение 0, этих должно хватить