juan_gandhi: (VP)
Напоминаю, что рождество по православному церковному календарю еще не наступило.
juan_gandhi: (VP)
Числа Пеано и кодировка Черча будут как бы эквивалентны, если вспомнить, что NNO - инициальный объект в категории детерминированных автоматов с одним начальным состоянием.

juan_gandhi: (VP)
"Коли Європа нарешті зрозуміє, що терористи не бояться санкцій і глибоких занепокоєнь?! Вони бояться одного – померти."
juan_gandhi: (VP)
Всё чесал репу, шо це за параша, свободная монада.
А тут на стаковерфлоу Кмет, конець копiя искормленъ, разъяснил на двух пальцах. Монада - это ж моноид в категории эндофункторов. Ну дык, есть забывалка из моноидов в эндофункторы, а свободная монада - это свободный моноид в категории эндофункторов, и все дела - т.е. список. Если он, конечно, существует.

На пальцах.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

May 2025

S M T W T F S
    1 2 3
456 7 8 9 10
11 121314151617
18192021222324
25262728293031

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 15th, 2025 04:25 pm
Powered by Dreamwidth Studios