collapse shurink/shurinking contraction extension expansion filling 単体では、degeneracy map, face map がある。degeneracyが潰す感じ。

Pachner move: (2, 2)-移動 ＝ 対角フリップ（diagonal flip） (1, 3)-移動 ＝ 星状細分（stellar subdivision） (3, 1)-移動 ＝ 星状融合（stellar weld）

https://arxiv.org/pdf/0809.4221v5.pdf の "2.4 Delta sets and Delta maps" に出てくるΔ-setと、http://math.arizona.edu/~rwilliams/SingularHomology.pdf に出てくるΔ-複体は違うようだ。Δ-複体構造を持つ多様体は扱いやすいと思う。「Δ-多様体」と呼ん…

epithet 《言語学》〔人名などに付ける〕形容辞、添え名 《言語学》〔人などを表す〕あだ名、通り名 悪口、口汚い言葉、軽蔑の言葉 《生物》〔分類名の中の〕小名◆【同】specific epithet monikerもあだ名だ。weld 【1他動】 〔金属を〕溶接する 〔溶接で〕…

Grpdを亜群を対象として、関手を射とする圏とする（2-圏構造は使わない）。亜群の対象a, bのあいだに射（亜群なので可逆射）があるとき ab と書くことにする。M, O∈|Grpd| で、dom, cod:M→O in Grpd、id:O→M in Grpd とする。dom, cod, idは関手なので、次が…

0次元 頂点（グラフの、複体の） ポイント、エンドポイント ノード コーナーポイント ストリンググラフでは、頂点、ポイント頂点、ノード頂点の区別がある。ポイント＝エンドポイントには、開エンドポイントと閉エンドポイントがある。エンドポイントは入り…

2-アポカリプスでのシエンナ・ギロリーは神がかり的だった。ほんとに素晴らしいジル・バレンタインだった。2はシリーズ最高傑作だが、それはジルの存在が大きい。なのに3-エクスティンクションでは出てこなかった。がっかり。他にも3は色々がっかりだったが…

最近バイオハザードで盛り上がっているという事情から、「ハイブ」という語を使いたいのだが、2011年のL加群豊饒化と行列計算による説明 - 檜山正幸のキマイラ飼育記 メモ編のあたりからバイオハザードを喩えに使っていたからいいとしよう。ハイブを舞台にし…

Directed Acyclic Fluent Trivalent Open Closed で、グラフに対する形容詞。 Directed 辺に向きが付いている Acyclic サイクルが存在しない Fluent 入次数、出次数のどちらも0ではない。吸い込み、湧き出しがない。 Trivalent 内部ノードがすべて三価 Open …

モンスター・優香さんの太ももに驚嘆して今日書いた↓ モンスター・小林優香選手 - 檜山正幸のキマイラ飼育記 野獣・松本さんも好きだ。リオ・オリンピックでは銅メダル（ちょっと悔しい）。 松本薫（まつもと・かおり）さん、とんでもなくカッコイイ - 檜山…

あまり参考資料がない。意外と物理で使うみたいだ。バエズの"An Introduction to Spin Foam Models of BF Theory and Quantum Gravity"のP.16からの"6 Canonical Quantization via Triangulations"が三角分割の話だが、そこから先も多角形や多面体が絡んでい…

僕は、多圏の射、または多箙の生成辺をスパイダーと呼んでいるが、スパイダーの前例がある。ボブ・クックのスパイダーは、https://arxiv.org/pdf/1004.1598.pdf の6pに定義がある。それと、https://graphicallinearalgebra.net/tag/spider-theorem/ も良い。…

アリスのコスチューム一覧がないかと思ったら、あった↓*1だが間違っている。4,5が、色味が変わってるだけで同じ衣装になっている。ふたつとも4の姿。5-リトリビューションのコスチュームはこれだ↓*2だがこれも、文字部分は6-ファイナルとなっている。間違っ…

{in/input/in-comming/entrance/initial/source} boundary を∂in {out/output/out-going/exit/final/target} boundary を∂out どっちでもない境界を∂sep sepはseparator、または生物用語のseptum（生体の隔壁）からとった。最初、非浸透性（nonpermeable）か…

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:/…

ウォーカーのTQFT教科書（http://canyon23.net/math/tc.pdf）は、不完全で未完成で読みにくい。だが、面白いことも書いてある。TQFTのQ（Quantum）がもう意味不明だから、TFTでもいいだろう。ウォーカーは、TFTを「Topological Fieldの理論」と解釈して、位…

バイオハザード ストーリー - 檜山正幸のキマイラ飼育記 メモ編 の続き。『バイオハザードV: リトリビューション』 - 檜山正幸のキマイラ飼育記 メモ編で書いたように、ストーリーは正直どうでもいい。だが、3-エクスティンクション以降の設定はどうにも気に…

1-インフェクションと2-アポカリプスは、話の連続性はあったと思う。基本的な設定が荒唐無稽だが、それを認めれば、まーまー整合的かと。だが、3から先はハチャメチャで、もうストーリーはどうでもよくなった。3-エクスティンクションは2-アポカリプスとの連…

強い女達： アリスはもともと身体能力が異常に高い。1-インフレクションで既にその能力は示している。 ジルの身体能力も半端ない。生身（オーガニック状態）のアリスと遜色ない。 アリスもジルも後で超能力を手に入れる。二人は戦うことになる。 レインも勇…

復讐計画ではない。バイオハザード シリーズ - 檜山正幸のキマイラ飼育記 メモ編 にシリーズ名は書いたが、もうゴチャゴチャで全体のストーリーはワケワカだ。12月末には6-ファイナルが来るから復習整理しておきたい。復習項目は： アリスのコスチューム ア…

三角ハイブの問題点 - 檜山正幸のキマイラ飼育記 メモ編 の続き。ハイブの0次元部分を無視して、1次元部分をグレイド0に（つまり対象に）、2次元部分をグレイド1にしている。このため、0次元／1次元の情報をほとんど捨てている。結果として、「モノイド積で…

同義語： Pachner move bistellar flipという別名がある。 FHK流だと、fusion moveとbubble moveとも呼ぶ。

ウーム、間違っていた。つうか混同していた。sealはシールのことで動詞でも使う。sealedはseal+edで「封印された」という意味になる。それとは別にshieldは「保護する、かばう、隠蔽する」などの意味があり、名詞なら電線のシールドとか。音がシールドで、意…

最近のgoogleは人名に反応することがある。Reshetikhin と入力すると、レシェーツキンとカタカナ書きで出る。

で、パッヒナル（Pachner）移動だが、http://people.reed.edu/~ormsbyk/SubfactorsAndTVTQFT.pdf によると： Theorem (Pachner)Any two triangulations of d-manifolds can be related by a finite sequence of Pachner moves(k ↔ d + 2 − k) whered 1 ≤ k ≤…