1-インフェクション： ハイブ、ハイブの入り口屋敷、監禁された施設（自力脱出）と荒廃したラクーンシティ 2-アポカリプス：1の最後と同じ、封鎖されたラクーンシティ、監禁された施設（救出） 3-エクスティンクション：砂漠、ラスベガス、砂漠地下施設 4-ア…

ウォーカーのTQFT教科書（http://canyon23.net/math/tc.pdf）から。幾何的貼り合わせスキームとは、 空間X 空間BX 埋め込みβinX, βoutX:BX→X の組で、X = (BX, βinX, βoutX) と略記する。条件が色々あるが、とりあえずXやBXは向き付きコンパクト多様体で、埋…

アティヤの公理とモリソン／ウォーカーの公理を比べると、そもそも目的が違う。 目標要件の公理： ナニカが最終的に満たすべき条件 素材・環境要件の公理： ナニカを作るときに使えるモノたちに関する仮定 与えられた素材・環境要件のなかで、ナニカを作り、…

類似性の類似度として、厳密類似、タイト類似、ラックス類似を挙げたが、n-対象＝n-射の類似度は(n+1)-対象の類で決まる。よって、類似度とは、Mornの部分類でId類を含み結合((n+1)-結合）で閉じている類となる。厳密＝Idn+1、タイト＝Invn+1、ラックス＝Mor…

コンピュータッドとか雑多に色々考えてみる、ほんと雑多 - 檜山正幸のキマイラ飼育記 メモ編で類似性という概念に触れた。次のことが言えると思う。 すべての命題は類似性の主張である。 すべてのメタ命題は存在命題である。 すべての証明は構成的である。 …

https://arxiv.org/pdf/math/0604549v1.pdf 2006 http://www.kurims.kyoto-u.ac.jp/EMIS/journals/JHRS/volumes/2006/n1a3/v1n1a3hl.pdf 2006 http://137.158.44.70/academics/postgrad/graduatethesis/PhD_Nelson_Martins-Ferreira.pdf 2008 thesis https:/…