電波文騒ぎ（っていうほどの事ではない）のmixi掲示板見て思ったのだけど、「オートマトンの圏」ってば、誤解と混乱のもとではないか。Rutten（ルッテンかなラッテンかな？）に倣えば、必ずしも有限ではない決定性オートマトンは、アルファベットA、状態空間…

オブジェクト電波に対抗(?)して檜山電波をhttp://d.hatena.ne.jp/m-hiyama-memo/20060207/1139280892「反対圏の実現」で発信したのだった、発作的に。その内容の「Setopと同値な圏の構成」は、どこかで読むか聞くかした印象はあるが、出典はまったく憶えてな…