リンク
無限小に関するエントリー： 時計とポールで学ぶファイバーバンドル - 檜山正幸のキマイラ飼育記 ゾゾウスキ導分とゾゾウスキ共役 その2 - 檜山正幸のキマイラ飼育記 イデアルと論理 番外：ベキ零（nilpotent）元のはなし - 檜山正幸のキマイラ飼育記 イデア…
サマリー http://citeseerx.ist.psu.edu/viewdoc/summary?doi=<DOI> ダウンロード http://citeseerx.ist.psu.edu/viewdoc/download?doi=<DOI></doi></doi>
オリジナルは ftp://ftp.tac.mta.ca/pub/tac/html/volumes/22/23/22-23.pdf 52p CARTESIAN DIFFERENTIAL CATEGORIES / R.F. BLUTE, J.R.B. COCKETT AND R.A.G. SEELY 線形部分圏を入れた https://arxiv.org/abs/1405.6973 60p Cartesian Differential Storag…
標本空間のサンプルの話は今は置いとく。『統計数学』p.72では、確率標本という言葉を使っているが、おそらくはrandom sample(ing)だろう。 http://stats.stackexchange.com/questions/99126/are-random-sample-and-iid-random-variable-synonyms 基本的には…
Hutchinson metric については、 https://en.wikipedia.org/wiki/Hutchinson_metric http://www.chimaira.org/archive/GiryMonadsOnUltrametricSpaces_1803-5614-1-SM.pdf
Wikipedia "Convergence of measures"→ https://en.wikipedia.org/wiki/Convergence_of_measures 弱収束の教科書的文書 Weak Convergence of Probability Measures→ http://www.math.chalmers.se/~serik/C-space.pdf ボレル集合の教科書的文書 Some Notes on…
Title: Probability measures on metric spaces Author: Onno van Gaans URL: https://www.math.leidenuniv.nl/~vangaans/jancol1.pdf これに、ユリ・プロホロフ（Yuri V. Prokhorov）によるジリー・モナド（Giry monad）の距離版の話がある。1956年発表。非…
Title: The Classification of Two-Dimensional Extended Topological Field Theories Author: Christopher John Schommer-Pries Pages: 317 URL: https://arxiv.org/abs/1112.1000 , https://arxiv.org/abs/1602.01019, https://arxiv.org/pdf/1602.01019.p…
通り抜け → http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%C4%CC%A4%EA%C8%B4%A4%B1 擦り抜け → http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%BB%A4%A4%EA%C8%B4%A4%B1 すり抜け → http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?wo…
問題：圏論の問題 圏論の練習問題：モノイド二重圏の定義の同値性 定義と事例 二重圏の具体的な定義 二重圏の簡単な例：非負行列の順序構造 二重圏のもっと簡単な例：圏の可換四角形の二重圏 二重圏における交替律 記号、記法 2次元の圏のための記号法 続・2…
新→旧 の順 計算科学における半加法圏の位置付け テンソル半加法圏とプログラム意味論 個体と世界の関係：圏から論理半環を絞り出す クリーネ代数の「テスト」を圏論的に定義できるだろうか？ クリーニ代数と圏論 トレースを使ってクリーネスター（またはク…
パターンがあるものは、3分間・URIテンプレート - 檜山正幸のキマイラ飼育記 で示す。 http://webmizar.cs.shinshu-u.ac.jp/mmlfe/current/ http://mizar.org/version/current/html/{小文字ID}.html http://mizar.org/JFM/pdf/{小文字ID}.pdf http://fm.miza…
http://www.cs.ox.ac.uk/people/bob.coecke/andrei.pdf の4章 A 2-Categorical Primer が良いのだが、この文書タイトルがなくて困る。oxfordのandrei君の学位論文らしいことは分かるのだけど。 https://www.cs.ox.ac.uk/people/andrei.akhvlediani/
モンスター・優香さんの太ももに驚嘆して今日書いた↓ モンスター・小林優香選手 - 檜山正幸のキマイラ飼育記 野獣・松本さんも好きだ。リオ・オリンピックでは銅メダル（ちょっと悔しい）。 松本薫（まつもと・かおり）さん、とんでもなくカッコイイ - 檜山…
あまり参考資料がない。意外と物理で使うみたいだ。バエズの"An Introduction to Spin Foam Models of BF Theory and Quantum Gravity"のP.16からの"6 Canonical Quantization via Triangulations"が三角分割の話だが、そこから先も多角形や多面体が絡んでい…
時系列で記すと、まず、 http://canyon23.net/math/talks/ESI%20201402.pdf このスライド Premodular TQFTs を見つけた。発表用のスライドなので断片的だけど、何か面白そう。著者が書いてないが、URLを削って http://canyon23.net/math/ とか見ると、Kevin …
オリジナル論文 Title: Lattice Topological Field Theory in Two Dimensions (Submitted on 28 Dec 1992) Authors: M.Fukuma, S.Hosono, H.Kawai (福間将文, 細野忍, 川合光) Pages: 33p URL: https://arxiv.org/abs/hep-th/9212154 Title: Structure of To…
オリジナル論文は、 Title: Lattice Topological Field Theory in Two Dimensions (Submitted on 28 Dec 1992) Authors: M.Fukuma, S.Hosono, H.Kawai (福間将文, 細野忍, 川合光) Pages: 33p URL: https://arxiv.org/abs/hep-th/9212154 物理の用語と記法で…
一般関手モデル：どこを一般化？ - 檜山正幸のキマイラ飼育記 一般関手モデル：インスティチューションとの関係 - 檜山正幸のキマイラ飼育記 一般関手モデル：「圏の表示」の圏 - 檜山正幸のキマイラ飼育記 一般関手モデル：相対スキーマと相対インスタンス …
新しい順： 豊饒プロ関手は豊饒な世界を提供するのか - 檜山正幸のキマイラ飼育記 s-完備可換半環上の非可換半代数上の加群の圏に関する随伴性とその応用 - 檜山正幸のキマイラ飼育記 関手オートマトンを説明する記号法に大いに悩む - 檜山正幸のキマイラ飼…
アクテゴリーは加群圏と同じだと思うが、 https://ncatlab.org/nlab/show/actegory http://arxiv.org/pdf/0707.1609.pdfEquivariant monads and equivariant lifts versus a 2-category of distributive laws 斜めモノイド圏は、 http://arxiv.org/pdf/1201.…
混じっている！メモ編 豊穣 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%CB%AD%BE%F7 豊饒 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%CB%AD%F1%C1 本編 豊穣 http://d.hatena.ne.jp/m-hiyama/searchdiary?word=%CB%AD%BE%F7 豊饒 …
Synthetic Differential Geometry and C∞-Schemes (March 29, 2016) Jacob Alexander Gross 10p http://pitt.edu/~jag218/SDG.pdf pitt.edu ってどこかと思ったらピッツバーグ大学。
無料で入手できる本格的（紙なら高額）な理数系専門書15選 - 檜山正幸のキマイラ飼育記に追加みたいなもの。The Convenient Setting of Global Analysis (Mathematical Surveys & Monographs)作者: Andreas Kriegl,Peter W. Michor出版社/メーカー: Amer Mat…
無料で入手できる本格的（紙なら高額）な理数系専門書15選 - 檜山正幸のキマイラ飼育記に追加みたいなもの。Synthetic Differential Geometry (London Mathematical Society Lecture Note Series)作者: Anders Kock出版社/メーカー: Cambridge University Pr…
離散数学 講義 資料 (1) から (11) http://ocw.nagoya-u.jp/files/16/eng_c02_01.pdf (1) 面白い問題が幾つかある http://ocw.nagoya-u.jp/files/16/eng_c02_03.pdf (2) よくある基本的なこと http://ocw.nagoya-u.jp/files/16/eng_c02_05.pdf (3) 高校の順…
やた、やっとデバッガ的なナニカを見つけた。 https://arxiv.org/pdf/1406.0292v1.pdf
Title: Automated Theory Interpretation Author: Immanuel Normann Pages: 138 URL: https://svn.eecs.jacobs-university.de/svn/eecs/archive/phd-2008/normann.pdf 学位論文。歴史とか用語法とかまとめようと頑張っている。読み物としても面白い。この論…
https://www.it.uu.se/grad/courses/gc0910/isabelle/isar-overview.pdf あんまり分かりやすくない。説明がうまくないような。メタ論理（Pure）と対象論理のレベルと、自然演繹との関係が書いてない、つうか、書いたつもりになっているけど説明になってない…
FQLもQuatomaticもグラフ描画には、Java Jungを使っているようだ。 http://jung.sourceforge.net/ Jungの開発は止まっているみたい。http://stackoverflow.com/questions/6162618/java-graph-library-for-dynamic-visualisation にグラフライブラリが色々あ…
