ドクトリンは、ドミニオンを支配〈ドミネイト〉する構造として存在する。“指標の圏”達のタワーをバックボーンタワー〈ユグドラシル〉と呼ぶ。ドミニオンの構成素： 自由忘却随伴系 ターゲット代数 上位レイヤーのドミニオンを次のように書く。 自由忘却随伴…