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

[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

[dmm]

Барендрегт изложил, но в терминах частичных порядков.

Там тогда приходится иметь дело с довольно неудобным way-below relation: https://en.wikipedia.org/wiki/Domain_theory#Way-below_relation

Поэтому, в терминах пространств теорий, как в этой статье Скотта, гораздо проще думать, более интуитивно...

[juan_gandhi]

Ага; спасибо!