読みはエミリー・リエルだな。

ベイカー/Baker イントロ Title: An Introduction to Galois Theory (23/01/2013) Author: Andrew Baker Pages: 106p URL: http://www.maths.gla.ac.uk/~ajb/dvi-ps/Galois.pdf 略記: [Baker], [Baker イントロ] 章立て：星印は印刷済 Chapter 1. Integral d…

代数の教養 - 檜山正幸のキマイラ飼育記 メモ編で参考文献を列挙したが、そのなかの[Rabalo グロ風]だが、 https://fenix.tecnico.ulisboa.pt/downloadFile/395139415315/dissertacao.pdf これの目次を見ると： 3 Galois Theory of Fields 4 Galois Theory o…

分離的〈separable〉という形容詞がよく分からん。次を読むといいかも。 http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/separable1.pdf 17pages http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/separable2.pdf 12pages 紛らわしい記法…

メモする！ - 檜山正幸のキマイラ飼育記 メモ編 一般教養的なもの。 古典的数体論 と書いたこと。 参考文献 入門的なテキスト見つけた、次。 http://www1.spms.ntu.edu.sg/~frederique/antchap1.pdf antichap?.pdf のワイルドカード'?'に1から7を入れると、 …

メモする！ - 檜山正幸のキマイラ飼育記 メモ編 当面はヤコビ微分圏の定義をなんとか再現する。 目的 デカルト微分圏や接圏（接構造を持つ圏）は、出来るだけ仮定を減らして理論を展開するが、むしろ仮定を増やして、微積分の教科書に載っているような展開を…

マッツキンが近い気がするが、綴を忘れないようにすることを考慮して モツキンかな。

forvoで聞いて、なんとかカタカナ書きするなら、デッサン・ドンフォン かな。

また、やらかした！ 後悔、後悔、後悔 - 檜山正幸のキマイラ飼育記 メモ編 ヤコビ微分圏を失ったぁー - 檜山正幸のキマイラ飼育記 メモ編 当面はヤコビ微分圏の定義をなんとか再現する。 CADGタグを見直す→ [CADG] - 檜山正幸のキマイラ飼育記 メモ編 「ヤコ…

また、やらかした！ 後悔、後悔、後悔 - 檜山正幸のキマイラ飼育記 メモ編 何をやらかしたか？本編に、 ヤコビ微分圏： はじまり - 檜山正幸のキマイラ飼育記 という記事がある。この続きを書こうとしていたがしばらく時間がたった。ふと思い出してみると、…

過去に何度も失敗しては後悔・反省しているのに。過去エントリーを、時間順に全文引用する。 それは忘れるぞ - 檜山正幸のキマイラ飼育記 メモ編 なんだか忘れそう、と思ったものはたいていホントに忘れる。しんどくてもメモ。 定義を書け！ - 檜山正幸のキ…

(setq-default tab-width 4 indent-tabs-mode nil) 特定バッファで実行したいなら、キーボードで M-x set-variable / tab-width 4 M-x set-variable / indent-tabs-mode / nil '/'はEnter/Returnのつもり。

ボックスの絵は、"Natural deduction for predicate logic"（https://cs.uwaterloo.ca/~plragde/cs245old/06-prednd.pdf）から抜粋。最後の絵は他の文献からコピーしたが、その文献が分からんから出所不明になってしまった。しかし、同じ絵だから"Natural de…

Bart JacobsのJacobsの発音だけど： オランダ語 https://ja.forvo.com/search/Jacobs/nl/ 英語 https://ja.forvo.com/search/Jacobs/en/ オランダ語だと「ヤコブス」、英語だと「ジェイコブス」。Bart Jacobsはオランダの人だから、ヤコブスと呼ぶほうがいい…

Cは一般的なモノイド圏、X = (X, δ, ε)がC内の余モノイド（余モノイド構造、余モノイド対象）のとき、Xのスタンピング関手（域側に掛け算する）から余モナドが定義できる。 上記の余モナドの余クライスリ圏を作れる。これは一般的な構成。 余モナドがテンソ…

論理記号 導入規則 除去規則 ∧ ∧導入 BOX ∧除去1, ∧除去2 BAR ⊃ ⊃導入 BOX ⊃除去（モダスポネンス）BAR ∨ ∨導入1, ∨導入2 BAR ∨除去 BOX ¬ ¬導入（背理法）BOX ¬除去（矛盾）BAR BOXまたはBARのラベル 論理記号 導入規則 除去規則 ∧ pair BOX proj1, proj2 B…

図そのものより、図示の基礎を書く。デカルト閉圏Cを固定して、I := IdC、直積を∧、単位を1、始対象を0とする。Δ:C→C×C はコピー、Πi:C×C→C は射影、K:C→I は一点への潰し、S:C×C→C×Cはスワップ。 自然変換 自然変換の記号 プロファイル 名前 略称 ι I⇒I 恒…

最近、マンダラの精神を忘れていたかも知れない。「この世はマンダラだ」 マンダラ→ http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%2A%5B%A5%DE%A5%F3%A5%C0%A5%E9%5D ミニマンダラ→ http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%2A%5B…

ヤノフスキ―がSammyという言語を定義している。 Kolmogorov Complexity of Categories (2013) Noson S. Yanofsky 16p https://pdfs.semanticscholar.org/bbf1/5662508b3efe27999ad9506e6ba17b1be397.pdf Kolmogorov Complexity of Categories (2013) スライ…

形式(的)?体系 {形式(的)? | フォーマル}{体系 | システム} {形式(的)? | フォーマル}?{体系 | システム}

dense functor →https://ncatlab.org/nlab/show/dense+functor copower →https://ncatlab.org/nlab/show/copower inverter / coinverter →https://ncatlab.org/nlab/show/inverter inserter / coinserter →https://ncatlab.org/nlab/show/inserter equifier …

L, L', Mなどはローヴェア・セオリーとする。 ローヴェア・セオリーの直和 L + M ローヴェア・セオリーのテンソル積 LM テンソル積はどの程度存在するかよくわからんが、次が成立する。 Mod(L, Mod(M, C) Mod(LM, C) この同型は（それが存在するなら）超便利…

「ローヴェア」のほうが近いので、「ローヴェア」にする。 https://ja.forvo.com/word/william_lawvere/ https://ja.wikipedia.org/wiki/%E3%82%A6%E3%82%A3%E3%83%AA%E3%82%A2%E3%83%A0%E3%83%BB%E3%83%AD%E3%83%BC%E3%83%B4%E3%82%A7%E3%82%A2