余代数とプロセス

カーツの教科書の最初（9ページ）に面白い表があった。

X上の余代数	プロセス
X→1	停止（事実上何も起きない）
X→A	a∈Aを1回だけ出力（繰り返しはない）
id: X→X	無限に動き続けるメトロノーム
X→A×X	Aのストリーム（無限リスト）
X→A×X + 1	Aの有限／無限リスト(1は停止）

状態空間Xへの出力値が時間(next)を生成している。X以外への出力値だけなら、それは時間を止めて（継続を中断して）いる。