Грехи наши тяжкие

[anhinga_drafts]

Продолжение http://anhinga-drafts.livejournal.com/4076.html (внутренний диалог):

- А что ещё "не случилось" выучить?
- А.. вот.. мо-монады..
- "Згя, батенька!". Например, if one takes a partial order and interprets it as a category, the monads are exactly the closure operations, and given a monad (a closure operation), the Eilenberg-Moore algebras of this monad are exactly the fixed points of this closure operation..
- Oops.. м-да.. знать бы это лет двадцать назад.. ну, хотя бы, десять..

Comments

[faceless-lady.livejournal.com]

может ещё не поздно? :-)

[juan_gandhi]

Меня всегда забавляло, что эти странные вещи, как замыкания в посетах, или "соответствия Галуа" элементарно выражаются в категорном виде. Чо они там мудрят с посетами, всегда думал. Вот же, сопряженные, монады, алгебры, все ж элементарно. А кому-то наоборот, оказывается.