ホッピングボール・マシンが有限型（有限状態マシンと観測的に同値）なら、それから生成されるPN値（Pow(N)の値）は、有限か、さもなくば等差数列を含む。これから、素数の全体や{n2 | n = 1, 2, ...}, {2n | n = 1, 2, ...}などは生成できない、とわかる。

「(仮称)一様性二重圏」に書いてある内容がけっこう本質的な気がする。コォゼン圏もクリーネ圏も、ほんとは二重圏で定式化すべきで、 潰れた（退化した）二重圏として圏（1-圏）が登場するのではないだろうか？ 潰れてない状態で扱った方が自然な気がする。