![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Грехи наши тяжкие
Jun. 2nd, 2007 11:03 pmПродолжение 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.. м-да.. знать бы это лет двадцать назад.. ну, хотя бы, десять..
