издевательство над студентами

В домашке спрашиваю:

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. 

что-то меня пробило на сопряженные функторы

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

Сказка Странствий

Watch on YouTube