「デダップ」か「デデュープ」かな。de-dupulication の省略。「同じものを重複して持たない」という原則と、そのための行為がdedup。gitはファイル内容レベルで究極的なdedupをしている。最近のNPMは、パッケージのdedupをしているらしい。何をもって「同じ…

まとめをしたが → gitの理解を妨げる要因のまとめ - (新) 檜山正幸のキマイラ飼育記 メモ編 、まだ続く。誤解要因は： 最高のメカニズムを最低のコマンドとして提供している。 最低のコマンドに誑〈たぶら〉かされている。例： git merge --squash, git rm, …

アカウントデータベース - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。登場する存在物〈エンティティ〉は、行動主体と行動環境だが、行動環境が行動主体の参加〈ログイン〉への許可するという意味で「認証する側」、行動主体＝ユーザー は「認証される側…

SSH関連の概念的まとめ - (新) 檜山正幸のキマイラ飼育記 メモ編 を書いていて気づいたのだけど； アカウントを記述する二部グラフは、グラフDBだと思えるから、アカウントデータベースとはグラフDBということだな。パスワード管理ソフトの LastPass では、 …

過去記事： SSHの事情と理屈と設定 - (新) 檜山正幸のキマイラ飼育記 メモ編 SSHコマンドとconfig - (新) 檜山正幸のキマイラ飼育記 メモ編 wt(Windows Terminal) + SSH - (新) 檜山正幸のキマイラ飼育記 メモ編 これらの内容を概念的にまとめる。内容： 情…

SSHの事情と理屈と設定 - (新) 檜山正幸のキマイラ飼育記 メモ編 にて： ssh, sshdコマンドの設定と使い方は触れない。 クライアント側で使う ssh コマンドに関して補足する。sshコマンドでリモートホストに接続するときのコマンドライン構文は： ssh 〈ホス…

SSH関係の過去記事： SSH関連 - (新) 檜山正幸のキマイラ飼育記 メモ編 2022-08-22 SSH関連 (2) - (新) 檜山正幸のキマイラ飼育記 メモ編 2022-08-24 SSH関連 (3) known_hosts - (新) 檜山正幸のキマイラ飼育記 メモ編 2022-08-24 前後の事情、具体的な設定…

体Kを係数域とする多項式環を K[x] と書く。不定元xの名前は問題ではない。K K[x] という対応は、Pol1:Field→CRng という関手となる。Fieldの射は体の拡大だと思ってよいので、K⊆L に対して、Pol1(K⊆L):K[x]→L[x] in CRng は、係数拡大に伴う環の埋め込み操…

線形群、行列群は意味が不安定、次のようにする。 Gが線形群 ⇔ Vをベクトル空間として、G→Aut(V) という埋め込みを持つ。 GがA乗法群 ⇔ Aを非可換かも知れない代数（多元環）として、G→A× という埋め込みを持つ。 Gが代数乗法群 ⇔ 適当なAに対して、A乗法群…

多様体上の幾何的・物理的実体は、アトラスに載ったチェックkコチェーンで表現・表示される。実体〈指示対象 | デノテーション〉と表示・表現〈プレゼンテーション〉の関係をハッキリさせる。 表示・表現の翻訳規則： 異なる表示が同じデノテーションを指し…

前層の例：U⊆X を開集合とする。 I(U) := U Op(U) := {V⊆U | Vは開集合} Cl(U) := {A⊆U | Aは閉集合} K(U) := {X⊆U | Xはコンパクト} ConstA(U) = A Pow(U) := {X⊆U | Xは任意} Powfin(U) := {X⊆U | Xは有限集合} B(U) := (Uの開集合から作られたボレルσ代数…

任意のファイバーバンドルについて： For f:X→Y in C∞Man, F in Bdl[Y], ΓX(f#F) X ΓX, f(F) ΓXはX上での断面の層、ΓX, f は、fに沿った断面のX上での層。次に、Fがベクトルバンドルで、引き戻しもベクトルバンドルになる場合： Set A := C∞X, B := C∞Y, For…

ヤコビ表示関手は、ベクトルバンドル射の圏から、加群層の圏への関手を与えるが、どうも二種類あるようだ。 引き戻し型ヤコビ表示関手： 底写像が f:X→Y のとき、ヤコビセクションはX上のセクション（層の大域元）になる。 前送り〈押し出し〉型ヤコビ表示関…

ゼー〈З〉からデー〈Д〉に変更した。Д関手を、「バンドル射を、対応するヤコビ表示に変換する関手」とする。ヤコビ表示関手〈Jacobian presentation functor〉と呼ぶ。Д関手は微分幾何で最初から使っているが、実際の構成はけっこう複雑。明示的にちゃんと構…

キリル文字〈Cyrillic〉を使うか。 З〈ゼー | zeh〉 ゼー関手 З:Vect-Bdl→Mod-Sp は、ベクトルバンドルとインターバンドル射の圏を、加群付き空間〈moduled space〉の圏に移す。Зのホム成分は、 ЗE,F: Vect-Bdl(E, F)→Mod-Sp(Γ(E), Γ(F)) ゼー関手を、接続付…

まず、イントラバンドル射とインターバンドル射は違うこと。イントラバンドル射は、インターバンドル射の特別なケースとみなせること。接バンドルのあいだの接写像は、典型的なインターバンドル射。バンドル射が非特異とは、すべてのファイバーにおいてラン…

接写像とヤコビ行列（微分係数）の関係を、一般のバンドル射と微分形式に拡張する。バンドルの底空間の写像fで誘導される引き戻しバンドルを f#F で表す。f= (ftop, fbase):(E→X)→(F→Y) がバンドル射とする。このとき、fのヤコビ表示〈Jacobian presentation…

日常 物理 数学 位置 位置 底空間の点 モノの属性 測定値 全空間の点 分布 場 セクション 単位の分布 ゲージ 局所自明化 単位の変更 ゲージ変換 局所自明化の変更 隔たり／変位 変換 構造群の要素 測定 測定 バンドル反チャート 無限小移動 接ベクトル 接ベ…

ひとつの理由は関連諸分野の用語がなだれ込むこと。もうひとつは、意味論的用語と構文論的用語があり、それが一旦は区別されるが、後で混同混用されるから。 コンセプトのラベル → コンセプトとラベルが混同混用される（以下同様） クラスの{番号 | インデッ…