DM
1→X→Y, но это не оч интересная вещь на мой взгляд (пограммиста)
Size: a a a
2018 March 14
NI
Это функция, вычисленная в какой-то "точке" ;-)
NI
Ну, во внутренней логике, это стандартная вещь.
А категорно, нам про это 1→X говорить не интересно.
Вот стрелка, вот её композиции с другими.
Ну если надо зачем-то, то можно рассмотреть.
А категорно, нам про это 1→X говорить не интересно.
Вот стрелка, вот её композиции с другими.
Ну если надо зачем-то, то можно рассмотреть.
λ
первые трюки)
хотим работать с элементиками, проведём в них морфизмы из 1
хотим работать с элементиками, проведём в них морфизмы из 1
DM
в яп 1->X
как раз не вычисленное значение, а "ленивое"
как раз не вычисленное значение, а "ленивое"
NI
DM
в яп 1->X
как раз не вычисленное значение, а "ленивое"
как раз не вычисленное значение, а "ленивое"
f () = 5ЗП
так это какой-то
counit где unit = a -> ()ЗП
и
unit это терминальный2018 March 16
VY
что есть протоморфизм? впервые вижу, не гуглится сходу
VY
или это и есть определение)
Oℕ
А контекст?
NI
Скорее всего, после будет вводиться ассоциативность и вот стрелки с ассоциативностью, это уже морфизмы ;-)
MN
что есть протоморфизм? впервые вижу, не гуглится сходу
Книжка от george66? ;)
VY
да, пока нравится
я сначала начал читать, перед этим просто выборочно заглядывал
я сначала начал читать, перед этим просто выборочно заглядывал
ЗП
чо за книжка?
MN
Я тоже, когда ее читал, пытался гуглить, но тчетно.
MN
Но книжка мне показалась весьма неплохой.