リンク
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…
モナド達の上のモナド： ストリート・モナド モナド論をヒントに圏論をする（弱2-圏の割と詳しい説明付き） https://m-hiyama.hatenablog.com/entry/20170111/1484122584 Title: Composing PROPs Author: Stephen Lack Pages: 18p URL: http://www.tac.mta.c…
上が新しい。 用語ペアの具体例 - (新) 檜山正幸のキマイラ飼育記 メモ編 用語ペアの関係性 - (新) 檜山正幸のキマイラ飼育記 メモ編 否定の接頭辞、拡張的形容詞 - (新) 檜山正幸のキマイラ飼育記 メモ編 排他的否定、拡張的否定、制限的否定 - (新) 檜山正…
↓が起源らしい。 Nicolaas G. de Bruijn, Telescopic mappings in typed lambda calculus, Information and Computation 91 (1991), no. 2, 189–204. https://www.win.tue.nl/automath/archive/pdf/aut103.pdf RICHARD GARNER "TWO-DIMENSIONAL MODELS OF TY…
Leanの学習の障害・壁、http://wwwf.imperial.ac.uk/~buzzard/docs/buzzard_big_proof2019.pdf からの引用： Type 1: Basic learning curve issues with the software. Type 2: Missing tactics (“Coq can do it but Lean can’t”). Type 3: Consequences of …
ハブは： https://leanprover.github.io/documentation/ → Lean4のマニュアル作業中、現状は参考になっても参照はしないだろう。 → Learning Lean すぐ下 https://leanprover-community.github.io/learn.html https://leanprover.github.io/publications/ ht…
検索文字列"from:m_hiyama leanprover"で、Twitter検索をすればいい。 https://twitter.com/search?q=from%3Am_hiyama%20leanprover&src=typed_query
CTRL+CLICK でリンクをたどって。 さくら（sakura）とGMO - (保存用) 檜山正幸のキマイラ飼育記 メモ編 GMO VPSの契約管理 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 再度ドメイン設定 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 GMO VPSの設定 - (保存…
またセットアップだ - (新) 檜山正幸のキマイラ飼育記 メモ編 でもリンクを貼ったが、もう一度。先に読んでおけばよかったが、今からでも役立つ情報があるだろう。 pc-setup カテゴリーの記事一覧 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 個別記事： Po…
測度的積分核と随伴構造 - 檜山正幸のキマイラ飼育記 (はてなBlog) ライプニッツの微分記法とアインシュタインの総和規約を測度に使ってみる - 檜山正幸のキマイラ飼育記 (はてなBlog) 用語法： 測度的積分核 =>(短縮) 測度核 確率測度核 =>(別名) マルコフ…
Title: Approximation of Densities on Riemannian Manifolds Authors: Alice le Brigant and Stéphane Puechmorel Pages: 29p Local: ~/archive/ApproximationOfDensitiesOnRiemannianManifolds_entropy-21-00043.pdf
Title: Koszul Information Geometry and Souriau Geometric Temperature/Capacity of Lie Group Thermodynamics Author: Frédéric Barbaresco Pages: 45p Local: ~/archive/KoszulInformationGeometrySouriauGeometricTemperature_entropy-16-04521.pdf
Title: Topological forms of information Authors: Pierre Baudot and Daniel Bennequin Pages: 10p Local: ~/archive/Topological_forms_of_information_AIP_2014_Baudot_Bennequin.pdf
Title: Information cohomology and probabilistic topos for consciousness modeling: from elementary perception to machine learning Author: Pierre Baudot ピエール・ブドゥ Pages: スライド62枚 Local: ~/archive/InformationCohomology_presentation…
2008： イジング模型とポッツ模型のどえらく簡単な例 20013： 確率の勉強をしようかな 20014： 質点系の重心、形式的凸結合のモナド 20015内順不同： 測度的積分核と随伴構造 「確率変数」と言うのはやめよう 「分布、測度、密度」は同じか違うか まだ「確率…
2014： 何故にあえて確率を学ぶのか？ 2017内順不同： 余可換コモノイド・モダリティ事件の解説 確率的推論・判断の計算法：マルコフ・テンソル絵算 同時確率分布の圏の使用例：超具体的 同時確率分布の圏 ライプニッツの微分記法とアインシュタインの総和規…
オンラインのMarkdownエディタ＆ビューワーには、StackEditを使うことにした。 https://stackedit.io/ オンラインで直接書くこともできるが、 [#] → Import/Export → Import Markdown で、ローカルからのファイルアップロードができる。 Mrakdownテキストを…
亜郡・亜代数と層の幾何 - (新) 檜山正幸のキマイラ飼育記 メモ編への追加。 "Lectures on gerbes with connections" Konrad Waldorf (January 2013)http://www.konradwaldorf.de/docs/singapur.pdf に surjective submersion とチェック亜群が出てくる。 ニ…
https://m-hiyama-memo.hatenablog.jp/search?q=graphviz Graphvizの属性 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 コマンドでお絵描き - (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/search?q=gv%3Anode
比較的短期間で使い捨てになりそうな機械だが、とりあえずセットアップ。過去のPCセットアップやインストールの記録は次のURL: https://m-hiyama-memo.hatenablog.jp/archive/category/pc-setup https://m-hiyama-memo.hatenablog.jp/archive/category/%E3%8…
快適な微分計算のための圏と微分公式微分の解析的な定義。無限次元でも通用する。無限次元でもノルムがあれば内部ホムが定義可能。部分写像 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…
ヘルミーダ〈Hermida〉の学位論文をダウンロードした。 Title: Fibrations, Logical Predicates and Indeterminates (November 1993) Aothor: Claudio Alberto Hermida Pages: 259 URL: local:~/archive/6935-Article_Text-22520-1-10-20120629.pdf
https://web.maths.unsw.edu.au/~danielch/thesis/adrian_miranda.pdf Bicategories and Higher Categories Adrian Toshar Miranda June 2, 2017 Daniel Chanのもとでの修士論文。Tom Leinster の Basic Bicategories (1998) とよく似た書き方のテキスト。変…
マイクロコスモス原理関係記事： デカルト圏、こんな定義もあります - 檜山正幸のキマイラ飼育記 (はてなBlog) http://m-hiyama.hatenablog.com/entry/20111124/1322100492 マイクロコスモ原理の恐怖 - 檜山正幸のキマイラ飼育記 (はてなBlog) http://m-hiya…
7.13 Continuous functors 7.14 Morphisms of sites
カテゴリー「セオリー論」 カテゴリー「インスティチューション」 「インスティチューション」の検索 「ハイパーインスティチューション」の検索 「リテラチャ」検索
https://d-nb.info/99486020X/34 に、ダニエル・アウブラム〈Daniel Aubram 発音はわからん〉本がマルマルPDFで置かれている。著作権が心配だったが、ドメイン d-nb.info は、ドイツ国立図書館のサービス用のドメインらしい。dnb.de が本家だが。 ドイツ国立…
Title: Local structures on stratified spaces Authors: David Ayala, John Francis, Hiro Lee Tanaka Pages: 92p URL: https://arxiv.org/abs/1409.0501 ほとんど読んでない／読めない（苦笑）。が、ベーシック対象＝ベーシック（名詞）という概念・用語が…
