Dec. 31st, 2011

juan_gandhi: (Default)
Я тут поминал уже (всё в nlab.org написано на самом деле), что списки являются инициальными алгебрами для функтора 1+A × X, алгебры над которым - что-то вроде state machines. Аналогично сидел и думал, э, а для функтора 1+X2, у которого инициальной алгеброй (минимальной неподвижной точкой) является двоичное дерево, ака корень шестой степени из единицы, у этого функтора что за алгебры? Doh, задать такую алгебру эквивалентно заданию точки и бинарной операции. Дык. Можно ж, наверное, и не одну бинарную операцию добавить, а также пару унарных или там тернарных. И инициальной алгеброй будет объект из всех возможных деревьев. AST, то есть. Так это же мы пришли уже к алгебраическим теориям, в категорном смысле (см. везде). Ну хм, а как насчёт лямбда-исчисления? Надо будет разобраться; ведь всё та же редукция. Всё тот же катаморфизм. Да? Нет? Не знаем? Надо подумать.
juan_gandhi: (Default)
В SQL (в частности, в разных его ипостасях) если я напишу select count(*) или select sum(something), и не нашлось ничего посчитать или посуммировать, то что я увижу, ноль или "аяяй но рекордз"?

И что это за арифметика такая во втором случае.

Извините за глупый вопрос, конечно - у меня тут ни хрена никакого майсиквела ни постгреса на машинке нету под рукой.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415161718
19202122232425
262728293031 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 14th, 2025 08:19 pm
Powered by Dreamwidth Studios