2020-04-01から1ヶ月間の記事一覧

まとめる

以下の内容をひとつの記事にまとめる。 ベクトルバンドル射の逆写像: 記法の整理をかねて - 檜山正幸のキマイラ飼育記 (はてなBlog) バンドルと層の記法 まとめ - 檜山正幸のキマイラ飼育記 (はてなBlog) バンドルと層の記法 追加 - 檜山正幸のキマイラ飼育…

生成単位と要素・ポインター変換

生成単位θを持つ自己豊饒圏Cで、 [θ, A]C A in C が成立する。これが成立するθを生成単位と呼ぶから、同語反復だが。事例: 圏 生成単位 Set 1 PtSet 2 VectK K R-Mod R VectBdl[M] RM Sh[X] 1` R-Mod-Sh[X] R [θ, A]C A in C を要素・ポインター・同型と呼…

微分公式

本編 さまざまな関手/オペレータと微分の表示 - 檜山正幸のキマイラ飼育記 (はてなBlog) に関連して。 は、接バンドルのホロノーム座標のファイバー成分 は、余接バンドルのホロノーム座標のファイバー成分 は、ユークリッド空間Rn値関数のヤコビアン 次の…

演算子記号

演算子の構文 前置: ¬A, -x 後置: n!, f' 微分 中置: いくらでも例はある 右項囲み: f(x) 適用 a[i] インデックス適用 両項囲み: (x, y) 内積, (x|y) 内積, <x|y> スカラー積, (C, D) 旧カンマ圏 右上付き: x2, f*, AT, x-1, f' 微分 右下付き: f*, f∪ 三</x|y>…

CP〈Categorical Pictorial〉線形代数のインフラ

有限個のベクトル空間からなる同伴クラブがあり、同伴クラブのメンバー V ごとにスカラー積 (-|-)V が指定されていて、 (y|x)V = (x|y)¬V 同伴クラブのペア(メンバーではない!)ごとにインデックス集合Iが割り当てられていて、互いに相反な基底 a, a# も…

CP〈Categorical Pictorial〉線形代数

用語・記号の変更 双対空間 → パートナー空間 ¬V は、Vのパートナー空間 V* は、Vのフォーム空間、ホム空間と考える。 V* は、Vのポインター空間、ホム空間と考える。 fの双対は双対のままだが、対偶〈contraposition〉、転置〈transposition〉、メイトとも…

ドミニオンの定義の変遷

ドミニオン - (新) 檜山正幸のキマイラ飼育記 メモ編 ドミニオン=厳密対合関手を備えた対象モノイド亜群 ドミニオン (2) - (新) 檜山正幸のキマイラ飼育記 メモ編 ドミニオン=基本ベクトル空間の有限集合 から生成された厳密対合関手を備えた対象モノイド…

テンソル計算のカリー/ハワード対応

一値論理=コンパクト論理 - (新) 檜山正幸のキマイラ飼育記 メモ編 を敷衍。 行列 線形写像 コンパクト論理 ストリング図 スカラー対象 真偽値「空」 無、点線 スカラー射 矛盾シーケント 無ワイヤーノード 対象 命題 ワイヤー 複対象 命題リスト ケーブル …

一値論理=コンパクト論理

むかーし、「一値論理」という言葉を聞いて「バカじゃないの」と思ったが、コンパクト論理は一値論理だ。単一の真偽値を「空」と呼ぶことにする。色即是空の空で、サンスクリット語(のラテン文字表記)で śūnyatā と書き、「シューニャ」または「シューニヤ…

トンデモ御用達の語句

普通に考えておかしいじゃないですか。 ネットで調べればすぐわかることです。 専門家はそんなことさえわからないのです。(専門バカ、御用学者、お抱え評論家) マスコミは嘘ばっかり報道する。 単語: 波動 エネルギー 高次元 (5, 6, 88次元) チャクラ 松…

アベンジャーズ/エンドゲーム、アクアマン、ザ・プレデター 、ジョン・ウィック:パラベラム、スター・ウォーズ/スカイウォーカーの夜明け

ヴェノム、アリータ、名探偵ピカチュウ、ジョーカー - (新) 檜山正幸のキマイラ飼育記 メモ編 と、それ以外に思い出したもの: アベンジャーズ/エンドゲーム (2019年制作) ヴェノム (@渋谷HUMAXシネマ)(2018年制作) アクアマン (2018年制作) ザ・プレデタ…

微分関係

快適な微分計算のための圏と微分公式微分の解析的な定義。無限次元でも通用する。無限次元でもノルムがあれば内部ホムが定義可能。部分写像 f:V⊇X→W の定義、X = def(f)。内部ホムと内部演算。フルカリー化はハット記号。要素・ポインター変換。微分コンビネ…

開包含と開射

ビッグサイトから巨大サイトへ - 檜山正幸のキマイラ飼育記 (はてなBlog) の公理を冗長部分を省いて述べると: Cの開射の圏Oは: 広い部分圏。 すべての始射を含む。 すべての同型射を含む。 任意の射による引き戻しで閉じている。 一方で、多様体類似物とチ…

亜郡・亜代数と層の幾何

亜群を空間とみなしての幾何がある。層も使う。この分野で第一に挙げるべきは: Title: Equivariance In Higher Geometry Authors: Thomas Nikolaus, Christoph Schweigert Pages: 42p URL: https://arxiv.org/abs/1004.4558 関連するスライドは: Title: Ge…

ニコニコネット超会議2020、過去の超会議

ニコニコネット超会議2020 公式サイト https://chokaigi.jp/ ニコ動ヘッダ https://www.nicovideo.jp/?header ニコニコ超パーティー2015 特別再放送【前半】@ニコニコネット超会議2020【4/12】https://live2.nicovideo.jp/watch/lv325057772 超ニコニコイン…

ヴェノム、アリータ、名探偵ピカチュウ、ジョーカー

ここ2年くらい、観た映画について全く記録してないし、思い出せない。チケット半券が出た来たのは: ヴェノム (渋谷HUMAXシネマ) [追記] アリータ(渋谷TOHOシネマ) 探偵ピカチュウ(渋谷TOHOシネマ) ジョーカー(渋谷シネクイント) [/追記]

新型コロナウィルス デマ・ヘイト

納豆食べると伝染らない 。(茨城県の感染者が少なかったから) 温めた酢でうがいするとウィルスが消滅する。(不明) 熱めのお風呂に入れば大丈夫。(ウィルスは熱に弱い? ←これがあやしい) ヘイトのたぐい: 志村けんは習近平が殺した〈殺したも同然〉 …