https://m-hiyama-memo.hatenablog.com/entry/2023/07/12/140806

モノイド指標 Σ
Σの圏Cでの付値モデル〈valuation model〉をΣ-代数と呼ぶ。Σ-Alg(C) := MonSIG(Σ, UC)
ある種の忘却関手 MonCAT → MonSIG が必要。
モノイド指標はコンピュータッドの一種
Σ-代数装備は、圏Cの対象の弱モノイドからΣ-Alg(C)の対象の弱モノイドのあいだの厳密モノイド写像
Σ-代数装備を持った圏がΣ-代数装備圏
Σ-代数装備圏Cがあると、スロット指標Δに対して、テンプレートの集合 $`\mathrm{Templ}_\mathcal{C}(\Delta)`$ を定義できる。
テンプレート集合はワイヤリング図（順序有向ワイヤリング図）を使って定義される。
テンプレート集合は再びモノイド指標になる。
さらに、テンプレート集合は構文モナドになる。
テンプレートモナドのクライスリ圏と反対圏ができる。代入の圏と手続きの圏。
モノイド指標の圏からインスティチューションが定義できる。