リンク
コック／ツーバライン https://ja.forvo.com/search/Z%C3%B6berlein/
ガースキイ https://www.youtube.com/watch?v=h3M5AMkZ1u4
「関手オートマトン」で検索： http://d.hatena.ne.jp/m-hiyama/searchdiary?word=%B4%D8%BC%EA%A5%AA%A1%BC%A5%C8%A5%DE%A5%C8%A5%F3 「関手データ」で検索： http://d.hatena.ne.jp/m-hiyama/searchdiary?word=%B4%D8%BC%EA%A5%C7%A1%BC%A5%BF
関連しそうな自分のエントリー。ウヘー、我ながらいっぱいあるなー。ざっと読んでいこう。読んだら、感想を一言ずつ書いていこう。 述語論理とインデックス付き圏と限量随伴性 20170824 テンソル積の作り方 20160829 中学レベル代入計算からカリー／ハワード…
Title: On the Unicity of the Homotopy Theory of Higher Categories Autohrs: Clark Barwick, Christopher Schommer-Pries Pages: 45p URL: https://arxiv.org/abs/1112.0040 発表は2011年末（30 Nov 2011）だが、今年（7 Aug 2018）が最新版。最新版（v5…
マレルブ／スコット／セリンガーの論文 Octavio Malherbe, Philip J. Scott, Peter Selinger Title Partially traced categories Pages: 23p URL: https://www.sciencedirect.com/science/article/pii/S0022404912001144 バニョルの論文 Title: Representati…
Title: The category of 3-computads is not cartesian closed Authors: Mihaly Makkai, Marek Zawadowski Pages: 6p URL: https://arxiv.org/abs/0710.5202 マレク・ザワドウスキイはスタニスワフ・スザウィールの先生。この論文で、生成系の要素である者を…
スタニスワフ・スザウィール〈Stanisław Szawiel〉はおそくらポーランド人。ワルシャワ大学出身。 Title: A Unified Approach to Opetopic Algebra Author: Stanisław Szawiel Pages: 197 URL: https://depotuw.ceon.pl/bitstream/handle/item/1115/doktorat…
C. Kachour, ω-Operads of coendomorphisms and fractal ω-operads for higher structures / 24p / http://cgasa.sbu.ac.ir/article_10527_391dbbec71f3cd9c77ef8d4d484a2ed9.pdf C. Kachour, Operads of higher transformations for globular sets and for …
本編 ド・ラーム・コホモロジーとホッジ分解のオモチャ (1/2) - 檜山正幸のキマイラ飼育記 ド・ラーム・コホモロジーとホッジ分解のオモチャ (2/2) - 檜山正幸のキマイラ飼育記 コンドルセ, ド・ラーム, ホッジ ラプラシアンなしのホッジ分解 - 檜山正幸のキ…
シリーズ記事として丁寧に読むといいよ。我ながら面白いこと書いている。 ラムダ計算とイプシロン計算を使って線形代数の計算 -- 随伴の例 ベクトル空間の二重の双対はどうなるか 片側非退化性から両側非退化性を導く 2つのベクトルとコベクトルの三位一体 …
コベクトルに関して言及しているところ。今でも参考になる。再読するヨロシ。 古典的微分幾何・ベクトル解析のモダン化： ダイレクトインデックス記法 http://d.hatena.ne.jp/m-hiyama/20180720/1532082069#id2018_covector-components ド・ラーム・コホモロ…
双対とニョロニョロ http://d.hatena.ne.jp/m-hiyama/20130123/1358903906 双対と随伴、そして左と右 http://d.hatena.ne.jp/m-hiyama/20101111/1289444548 コンパクト閉圏と絵算で理解する線形代数とシーケント計算（入り口だけ） http://d.hatena.ne.jp/m-…
https://en.wikipedia.org/wiki/David_Hilbert : Axioms are not taken as self-evident truths. Geometry may treat things, about which we have powerful intuitions, but it is not necessary to assign any explicit meaning to the undefined concepts…
標本調査法の基礎理論 その１ http://www.computer-services.e.u-tokyo.ac.jp/p/itme/dp/dp60.pdf 有意抽出： 街頭で調査者が主観的にねらいをつけた何人かの人にアンケート調査をするなど ← 調査の精度を評価することができないと ← どのような根拠で標本が…
仮説検定の例題 http://www.math.s.chiba-u.ac.jp/~yasuda/statB/toukei10.pdf 出てくる言葉・言い方 正規母集団 N(μ, σ2) において （実際は、パラメータ表示された正規分布のことだ） 分散 σ2 = 152 = 225 は既知 （非常にフィクショナルだが、まー、そい…
分布から拡散へ： ミシェル・ジリィを巡って - 檜山正幸のキマイラ飼育記 で参照したが、 YouTube 他に、黒いインク HD Ink Drop in water 'Black60FPS_005' - Free Stock Footage - YouTube エアブラシ Airbrush Anleitung für Anfänger - How To airbrush …
https://ja.wikipedia.org/ や http://toukeigaku-jouhou.info/ 以外に、実例として http://www2.kokugakuin.ac.jp/~ogiso/spss/staterm.html もいい。より実務よりの定義がある。 質的な独立変数を要因、量的な独立変数を共変量と呼ぶ。 必要な定義 質的 量…
Bart JacobsのJacobsの発音だけど： オランダ語 https://ja.forvo.com/search/Jacobs/nl/ 英語 https://ja.forvo.com/search/Jacobs/en/ オランダ語だと「ヤコブス」、英語だと「ジェイコブス」。Bart Jacobsはオランダの人だから、ヤコブスと呼ぶほうがいい…
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 …
「ローヴェア」のほうが近いので、「ローヴェア」にする。 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
ステイ／メレディス(↓)から辿って、主にローヴェル・セオリー関係の文献。 Logic as a distributive law Mike Stay, Lucius Gregory Meredith 17p https://arxiv.org/abs/1610.02247 ステイ／メレディス(↑)が参照しているもの。まずはハイランド／パワー： T…
弱2-圏 モナド論をヒントに圏論をする（弱2-圏の割と詳しい説明付き） 弱2-圏内のモナドに関する補足：モナドが作る2-圏の多様性 米田 困った時の米田頼み、ご利益ツールズ 「確率変数」の一般論は可能か 2次元の圏における米田の補題がわからない ラックス…
こっちに本音をコソッと書いておこう。本編 奥野幹也『理論から学ぶデータベース実践入門』はどこがダメなのか - 檜山正幸のキマイラ飼育記 の記事は、若干感情的な動機が入ってるね。それは次のあたりを見ればわかる。 http://twitter.com/zhanpon/status/9…
本編 http://d.hatena.ne.jp/m-hiyama/20171010/1507600955 : と、そろそろこの記事はおしまいにします。それにしても、「（詳細は別途記述予定。）」をイッパイ入れちゃったな。いつになるか分からないし、全部書けるかも不安ですが、出来る限り宿題は果た…
ソフトウェア： http://globular.science/ ヘルプ： https://ncatlab.org/nlab/show/Globular 論文 Title: Globular: an online proof assistant for higher-dimensional rewriting Authors: Krzysztof Bar, Aleks Kissinger, Jamie Vicary Pages: 18p URL: …
Title: A comparison of the mathematical proof languages Mizar and Isar Markus Wenzel, Freek Wiedijk Pages: 24p URL: http://www4.in.tum.de/~wenzelm/papers/romantic.pdf P.24からの引用（画面ショット） 証明している定理は： for every number n t…
C∞代数をローヴィエル理論と見ている。面白い。 http://www.kurims.kyoto-u.ac.jp/EMIS/journals/CMUC/pdf/cmuc9603/michor.pdf
Linear Logic, Domain Theory and Semi-Functors / Hoofman http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-34.pdf フーフマン（Hoofman）の線形圏 - 檜山正幸のキマイラ飼育記 メモ編も見よ。
0引数関数と定数は同じなのか？ ：圏的ラムダ計算の立場から考える 我ながら、めちゃくちゃチャンと書いてある。
