F, G, Hなどは、前層の圏[Cop, Set]の対象、つまりC上の前層。ギリシャ小文字は前層の準同型、つまり自然変換を表す。ホムセットの書き方は、 [Cop, Set](F, G) = Nat(F, G:Cop→Set) = Nat(F, G) 最後の書き方は略記。また、Cの前層は、 C^ = PSh(C) = [Cop,…

https://arxiv.org/pdf/math/0208222.pdf より： Cette ´equivalence permet donc de interpr´eter les op´erations courantes sur des revˆetements en terms des op´erations analogues dans BG, i.e. en terms des op´erations ´evidentes sur des e…

ローヴェア／ティアニー位相は https://ncatlab.org/nlab/show/Lawvere-Tierney+topology The use of “topology” for this and the related Grothendieck concept is regarded by some people as unfortunate; https://ncatlab.org/nlab/show/historical+not…

https://ja.forvo.com/search/Tierney/ ティゥニーが近いと思う。Lawvere-Tierneyはローヴェア／ティゥニーとなる。 [追記]発音は遠くなるけど、綴りを思い出しやすくするならティアニーかな。[/追記][さらに追記]「ティアニー」表記見つけた！ https://ja.w…

圏の構造を与えるオペレータ（関手）と律子（自然変換）がある。モノイド構造なら、 オペレータ： :C×C→C I:☆→C 律子： α::(×C);⇒(C×); λ::λ;(I×C);⇒C ρ::ρ;(C×I);⇒C 恒等自然変換、律子、外の圏の律子を組み合わせて2-射を定義すると、2-射の圏がやせた圏と…

形容詞としのてスター〈star〉と対合〈involutive〉は同義とする。Cのスターオペレータとは、反変自己関手Sと、自然同型 ξ:SS→Id の組。ξは対合律子〈involutor〉と呼ぶ。involutorという言葉は次で使っている（意味は違う）。 [q-alg/9609018] Higher-Dimen…

Σ = {1, +, -} E→ 1 | EE+ | E- Eを式（その定義は上の文法）として、 S→ E S→ SE P→ S | SEE+ SはEのシーケンスで、Pはプレフィックスから。Eの言語をL, Pの言語をL'として、ターゲット命題は L' = Prefix(L) M = Prefix(L) とすれば、 L'⊆M M⊆L' 2番目の証…

簡単な方法 合併： 正規表現の'|'があるので、それが合併 否定： DFAの終状態（受理状態）と非終状態（非受理状態）を入れ替える。NFAをDFAにする必要がある！ 共通部分： ド・モルガンの法則 集合差： L＼L' = L∩L'c 対称差： L△L' = (L＼L')∪(L'＼L) 直接…

参考までに言葉： exterior derivative 外微分 exterior differential calculus 外微分解析 discrete exterior calculus 離散外解析 vector calculus ベクトル解析 各種の外微分作用素〈exterior derivative〉の名前は、gradient, curl, vortex, attraction,…

「ド・ラーム・コホモロジーとホッジ分解のオモチャ (1/2) // ラプラシアンとラプラス方程式」より： 一般化されたラプラス方程式の k = 1 のときは、ベクトル解析の言葉で書くなら次のようになるようです。 curl curl X - grad div X = 0 k = 1 のときの一…

編集を間違って内容を消した。2018-08-08は、たぶん、次の内容だと思う（再現）。

評価対象 評価者 方法 Amazon 本 書籍 読者 5つまでの星 食べログ レストラン 顧客 5つまでの星 オーディション 応募者 審査員 色々 試合・コンテスト 出場者・演者 審査員 色々 普通の選挙 候補者 有権者 記名して投票 AKB総選挙 アイドル ドルヲタ よく分…

滑舌 声のハリ、音量 表情 服装 手振り身振り、所作 物ごし （よく分からん言葉） 敬語が使える 丁寧な物言い

本編 ド・ラーム・コホモロジーとホッジ分解のオモチャ (1/2) - 檜山正幸のキマイラ飼育記 ド・ラーム・コホモロジーとホッジ分解のオモチャ (2/2) - 檜山正幸のキマイラ飼育記 コンドルセ, ド・ラーム, ホッジ ラプラシアンなしのホッジ分解 - 檜山正幸のキ…