Regeneration Monad

Definition

The monadic structure formed by the regenerative functor R, unit η, and multiplication μ: R∘R ⇒ R. The monad ensures regeneration is idempotent (R∘R = R), composable, and designable. Regenerative systems are fixed points of this monad—applying R again yields no change.

Formula

Example

Applying PSC twice to an already-PSC-governed institution yields no additional change—it's already a fixed point. The monad structure guarantees that regeneration is a canonical, coherent architectural upgrade.

Source

FRS Section 5.7