マンダラ仮説の定式化であるマンダラな圏を考えている。で、全体的なことは後で書くが、とりあえずアルファベットの概念。妥協の産物ではあるが、使い勝手は悪くない。A, Bなどは、状態空間の境界、つまり始状態の集合＝始境界（initial boundary）と終状態…

ターンスタイル http://en.wikipedia.org/wiki/Turnstile http://en.wikipedia.org/wiki/File:Turnstile.alewife.agr.jpg ギローの図とウィラートンの図 http://arxiv.org/abs/math/0612089 http://arxiv.org/PS_cache/math/pdf/0612/0612089v1.pdf P.30 htt…

A;B 直列（逐次、順次）実行； Aを実行し、次にBを実行 A+B 選択的実行； AまたはBのどちらか一方だけを実行 A&B 並列実行； AとBを同時に両方とも実行 A|c|B 同期通信； AとBを同期通信チャネルcでつないで並列実行 それと、繰り返しを表すエルゴット・トレ…