2013-05-22 ひょっとして? メモ データベース ネストトランザクションのオペレータキューイングと単体的な手法を使った力学系の(コ)ホモロジーって同じか? どっちにしろ圏のナーブになる感じだ。スピヴァックの単体的データベースとも関係しそう。