現状 GMO VPS メモリ 2GB ディスク容量 100GB CPU 仮想3コア ￥1,446（税込）/月 ConoHa 2G メモリ 2GB ディスク容量 SSD100GB CPU 仮想3コア ￥1,848（税込）/月 約 +400円 ConoHa 1G メモリ 1GB ディスク容量 SSD100GB CPU 仮想2コア ￥968（税込）/月 約 …

certbotを直接的にインストールするために、 wget https://dl.eff.org/certbot-autowget がないので curl を使ったらエラー。nss（Network Security Services）を アップデートしなくてはいけないらしい。が、yum で nss をアップデートできない。サポート切…

基本的には次の記事の手順： https://www.khstasaba.com/?p=914 念の為に書いておくと： /etc/yum.repos.d/ 内にリポジトリファイルがある。 CentOS-Base.prepo を編集。 各セクションを以下のように編集。 baseセクション [base] name=CentOS-$releasever -…

念のため、root, hiyama, chimaira のパスワードを変更。覚えるのは難しい。 /home/chimaira/web_pub/ と ~/Chimaira.org/root/ の内容を完全に同期。 これ以外のディレクトリは基本空っぽにする。けっこうファイルがある。今となっては思い出せないが、Hugo…

Dotsterの支払いにPaypalを使っているが、そうである必要はないので、残高がなくなったらPaypalをやめてもいい。 Dotserのインターフェイスは相変わらず悪い。https://www1.dotster.com/controlpanel/foundation/ から操作対象のドメイン名にチェックを入れ…

Paypalドメインネームの支払い用。通常のアカウントと開発者アカウントがあり、別物。Paypalの通常のアカウント： マーチャント名: 正幸 檜山 URL: https://www.paypal.com/jp/business メールアドレスとパスワードでログインできる。ログイン後は、 https:/…

12年前のサーバー環境は： https​://m-hiyama-memo.hatenablog.jp/entry/20120309/1331279598 それ以来、サーバー環境の見直しをしてなくて放置状態。どうなっているか分かってない。調べることにする。サーバー関連記事一覧は： https​://m-hiyama-memo.hat…

やってるのはグリノー〈Justin Greenough〉って人だけかも知れない。 https://arxiv.org/abs/0911.4979 40p https://core.ac.uk/download/pdf/215517307.pdf 2010 学位論文 紙スキャンのようだ。

https://ncatlab.org/nlab/show/coherence+law https://ncatlab.org/nlab/show/coherence+theorem+for+monoidal+categories https://ncatlab.org/nlab/show/coherence+theorem https://ncatlab.org/nlab/show/coherence+theorem#ListOfTheorems https://ncat…

ブログ記事のカテゴリーについては： 半形式証明スクリプト https://m-hiyama-memo.hatenablog.jp/archive/category/%E5%8D%8A%E5%BD%A2%E5%BC%8F%E8%A8%BC%E6%98%8E%E3%82%B9%E3%82%AF%E3%83%AA%E3%83%97%E3%83%88 言葉遣い： 公理は要請〈demand〉する。 …

KさんがLeanで証明を書く練習をしているので、それに関してのメモ。このメモ自体は檜山による。関数(引数) = 関数'(引数') という命題を示す根拠として、 A = B がassumeされていて、f(A) = f(B) を示したいなら、congr_arg 規則を使う。 f = g がassumeされ…

「数学の常識・非常識—由緒正しい TEX 入力法」 http://www.math.tohoku.ac.jp/tmj/oda_tex.pdf から注意すべき点を抜粋。 次元のdimは全体をローマン。 線形群の名前はイタリックでよい。 など。 外微分のdは、数学ではイタリック、物理ではローマン。 定理…

バート・ジェイコブス達の用語・発想に従うとして： 分布〈状態 | 信念〉と述語〈パールのソフト証拠〉に対して2つの演算がある。 これらの演算はマルコフ圏のなかでは遂行できなくて、一時的に外側の準マルコフ圏に飛び出す。前者をスケーリング{演算}?、後…

抽象的な分類 マルコフ圏＝準マルコフ圏 ＋ 半デカルト圏 半デカルト圏＝対称モノイド圏 ＋ 単位終対象 半デカルト構造＝自然な余付点構造 デカルト構造＝自然な余モノイド構造 準マルコフ構造＝非自然な余モノイド構造 マルコフ構造＝非自然な余モノイド構…

hom internal hom Linz linearlization MultiVec multilinear map of vec. spaces tensrep tensor representation swtensrep swapped tensor representation 使う射、すべて 。 別名・別記法 sw swap ev evaluation coev coevaluation icomp internal compos…

次の図のSのようは関手を、Fに沿ったエキストラセクション〈extra section along F〉と呼ぶことにする。エキストラセクションの全体を とする。引き戻しファイバー付き圏との関係はファイバーバンドルの場合はに対して、エキストラセクションの空間は色々な…

ファイバーバンドルとファイバー付き圏の類似性は思っていたよりずっと精密で本質的なようだ。$`\newcommand{\cat}[1]{ \mathcal{#1} } \newcommand{\hyp}{ \text{-} } %`$ ファイバーバンドル ←→ ファイバー付き圏 底空間 ←→ 底圏 インデックス付き空間 ←→ …

変数・関数の記号の乱用 自明バンドルの記法 自明バンドルの場合のバンドル射のベース＆ホム記法 ヤコビ行列方式 行列記法 ホロノームフレームとホロノームコフレーム フレーム、ゲージ、コフレーム、コゲージ 相反フレームと双対フレーム コチェーン、コチ…

微分形式の記号 に渡す引数に、 多様体 ベクトルバンドル 開集合 がある。これらの引数渡しの構文レイアウトが問題。次の形にしたい。 次の省略ルールを設ける。 例えば：

は単一の群 は群バンドルとする。 は群層になる。Pへの右からの作用の表現が： 単一の群じゃなくて、群バンドルと群層を基本に考えて、その特殊ケースとして自明群バンドルとそのセクション層を考える。

暗黙の前提を書くのに implicit でマークする。共変微分の接続形式を定義する例。implicit を増やすと： の引数がフレームだけになる。

13年以上前2008-02-06の記事のコピーへの現時点〈2021-06-15〉での注釈。 茂木／伊藤『微分幾何とゲージ理論』のまえがき(P.2)に翻訳表が載っているのが非常に助かる。 写真がある。 https​://twitter.com/mamorumatsuo/status/956145613946568704 特に注意…

線形等式的法則〈linear equational law〉に関しては、障害子〈obstructor〉を考えることができる。あらゆる法則に関して障害子を考えてみる。たぶんいいことある。階付きベクトル空間の自己射で、次数1のものをアップ作用素と呼ぶ。アップ作用素を備えた階…

例： 交換法則に対する障害子は交換障害子＝交換子例：ライプニッツ法則に対する障害子はライプニッツ障害子〈Leibniz obstructor〉

これまたグロタンディーク起源らしいが、http://www.kurims.kyoto-u.ac.jp/EMIS/journals/AM/09-4/roger.pdf に何気なくちょっと書いてあった代数的微分作用素〈algebraic differential operator〉。Aは階付き可換代数とする。次数〈階数 degree | grade〉r…

https://www.youtube.com/watch?v=d0i5TItVc0E インポルタント important パルテチオン partition アクシオン action フォルエクサンプル for example チャプタル chapter インパルティクラ in particular スタンダル standard フォルマル formal

紆余曲折の結果、座標 に伴う微分を と書くことにした。紆余曲折は、 フレーム成分とフレーム全体の関係は： 接ベクトル場と微分作用素のオーバーロードが非常に紛らわしいのだけど、次のルールで区別する。 単に と書いたときは、接フレーム場／接ベクトル…

Twitterでつぶやいていた内容の一部をメモにしておこう。無名指標と入れ子指標無名指標または指標リテラルは、sig {...} の形で書く。 sig { sort U operation e:ε → U operation m:(U, U) → U }これはモノイド指標（monoidal signature、「モノイドの指標」…

"Canonical Structures for the working Coq user" by Assia Mahboubi, Enrico Tassi （https://hal.inria.fr/hal-00816703v1/document）の最初の段落： One of the key ingredients to the concision, and intelligibility, of a mathematical text is the …

型カインドの定義は次にある。 https://m-hiyama.hatenablog.com/entry/2020/10/21/175259 これだと、単に「型の集合」だが、排他的型カインドという概念を入れないとまずいな。排他的型カインドと型ファミリー（型でインデックスされた型の族）をしっかり区…