多様体Mと任意の部分集合S（空でもよいし、Mでもよい）のペア (M, S) を染み付き多様体〈stained manifold〉と呼ぶ。(M, S), (N, T) を2つの染み付き多様体として、fはS上のN値ジャームとする。S⊆U⊆openM であるUからの局所写像 U→N の同値類がジャーム。ジ…

スタッフ〈stuff〉はモノ〈thing〉とか構成素〈constituent〉と同じ。構造は、スタッフと性質からなる。性質は公理で定義される。性質を持つ⇔公理を満たす、性質を持つ⇔定理を満たす。公理は条件〈condition〉制約〈constraint | 拘束〉ともいう。忘却関手は…

多様体MのRkファイバーの自明バンドルに対して、任意の開集合上で共変微分が定義できる。その共変微分を"D"という記号で表すとして、それの定義を半形式的に、例えば次のように書く。 定義は、Definition of から End まで。 implicit で暗黙の引数〈パラメ…

エンジニアが成果アピールで意識すると良い4つの観点 – PSYENCE:MEDIA イマイチな感じ。問題と解法と立ち位置に分ければいいような。 問題・課題・ターゲット：その問題は解くにあたいするか？ 価値、意義、重要度、難易度、影響・貢献、応用 解法・アプロー…

さまざまな関手／オペレータと微分の表示 - 檜山正幸のキマイラ飼育記 (はてなBlog)のまとめ＋α。6番から先が追加。 インターベース・バンドル射←→BaseFibベア・バンドル射 イントラベース・バンドル射→加群射 イントラベース・バンドル射←→セクション 関数…