Jan. 18th, 2017

juan_gandhi: (Default)
В домашке спрашиваю:

  1. What's the difference between a regular language defined by a deterministic finite state machine and a non-deterministic finite state machine?

Let's see what they say. 
juan_gandhi: (Default)
Короче, к проблеме обмена товарами вдруг (в голове одни монады) подошел с категорной точки зрения; некоторым понравится. Прежде всего, категории-то могут быть не ахти какие, просто poset какой-нибудь, неважно. Итак, если А имеет товар x, а B имеет товар y, то на каких условиях оба захотят обменять эти свои товары? Это если придумать "функтор" F: A→B, отнимающий вещи у A и отдающий B - в восприятии B, и наоборот, функтор G:B→A, отнимающий вещи у B и отдающий A - в восприятии A. Если F(x)→y и G(y)→x (напомню, у нас посет, конкретные стрелки (пока) не важны), то обоим интересно обменяться. Я тут вижу сопряженные функторы между A и Bop, или, что эквивалентно, между Aop и B. Все это как бы очевидно, хотя и вилами на воде. Но меня интересует монада, композиция F и G. Такое ощущение, что это монада вида "мне эта корова нужна самому". Я все сказал. Я не экономист, не философ, мне просто языком почесать на досуге. Кстати, вместо алгебр ("мне эта корова") можно подумать и про категорию Клайсли ("схожу на рынок, продам, потом куплю дешевле - буду с прибылью"). Хз; признаюсь, совершенно не моя епархия.

Profile

juan_gandhi: (Default)
juan_gandhi

July 2017

S M T W T F S
       1
2 3 4 5 67 8
9 10 11 1213 14 15
16 17 18 19 202122
23242526272829
3031     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 21st, 2017 02:39 am
Powered by Dreamwidth Studios