Грехи наши тяжкие
Продолжение 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.. м-да.. знать бы это лет двадцать назад.. ну, хотя бы, десять..
- А что ещё "не случилось" выучить?
- А.. вот.. мо-монады..
- "Згя, батенька!". Например, 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.. м-да.. знать бы это лет двадцать назад.. ну, хотя бы, десять..