時刻サーバーとローカル時計

時刻サーバーから時刻を1回とって、それからの経過時間を刻むローカル時計はコモノイドになっている。連続する観測を予測しているから。

• 観測、測定 : S→S×V
• 作用、遷移 : M×S→S
• 予測 : M×V→V
• キューイング : M×M→M

時刻は神様が刺激（時間進行アクション）を与えている（by 無神論者）。