リンク
WikiPedia Isabelle -- https://en.wikipedia.org/wiki/Isabelle_%28proof_assistant%29 Isabelle -- https://isabelle.in.tum.de/ https://isabelle.in.tum.de/community/Main_Page http://isabelle.in.tum.de/repos/isabelle/ http://www.isa-afp.org/ htt…
この話題については、コボルディズム、TQFT、オペラッドとか - 檜山正幸のキマイラ飼育記 メモ編にまとめてある。上記の記事と、ルビンの壺と意味論 - 檜山正幸のキマイラ飼育記 メモ編から参照していたジョーンズ（Vaughan Jones）のスライドがドメイン（qq…
unitor : https://ncatlab.org/nlab/show/unitor associator : https://ncatlab.org/nlab/show/associator tensorator : http://arxiv.org/pdf/q-alg/9703033v4.pdf p.3 interchangor : http://arxiv.org/pdf/1409.2148v1.pdf p.2 tensoratorは2-圏の扱い as…
本編で参照した資料 20ページ： http://www.personal.psu.edu/ssb168/documents/writings/other/Vector%20Valued%20Integrals.pdf それ以外に、 The Bochner integral and vector-valued Lp-spaces https://isem.math.kit.edu/images/f/f7/AppendixF.pdf 12p…
2015年の秋くらいに見つけたモノが： Semantics in Biproduct Dagger Categories: a quantum logic for natural language Anne Preller https://hal.archives-ouvertes.fr/file/index/docid/719198/filename/CatNLsem3.pdf https://hal.inria.fr/file/index/…
Galois Theory for Braided Tensor Categories and the Modular Closure (1999) Michael Mueger http://arxiv.org/abs/math/9812040 39 pages From Subfactors to Categories and Topology I. Frobenius algebras in and Morita equivalence of tensor categ…
順不同 s-完備可換半環上の非可換半代数上の加群の圏に関する随伴性とその応用 - 檜山正幸のキマイラ飼育記 畳み込み半環の前送り準同型 -- パリクの定理に向けて - 檜山正幸のキマイラ飼育記 豊饒プロ関手は豊饒な世界を提供するのか - 檜山正幸のキマイラ…
ワージントンのオートマトン： Title: A Bialgebraic Approach to Automata and Formal Language Theory (2008) Author: James Worthington URL: http://arxiv.org/abs/0807.4553 Pages: 29 pages マッカーディの淡中双対性： Title: Graphical Methods for …
エンドは具体的に計算できないといけない。計算法は、↓がいいかな。 http://www.brics.dk/RS/01/27/BRICS-RS-01-27.pdf
ハンガリアン記法が嫌いだという話はたくさんあるが、擁護論は少ない。 http://stlalv.la.coocan.jp/HungarianNotation.html あんまり説得力があるとは言えないが、賛否を比べたいので。
EGNO本 - 檜山正幸のキマイラ飼育記 メモ編の記事で引用した69ページの論説 http://inmabb.criba.edu.ar/revuma/pdf/v51n1/v51n1a07.pdf Title: TENSOR CATEGORIES: A SELECTIVE GUIDED TOUR Author: MICHAEL MUGER この論説だと、 ‘monoidal categories’ or…
Title: Tensor Categories Authors: Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, Victor Ostrik URL: http://www-math.mit.edu/~etingof/egnobookfinal.pdf Pages: 362p. テンソル圏の教科書、362ページの出版物がまるまるPDFで提供されている。素晴ら…
インストールと「誰も書かない」シリーズ1から5： WindowsへのCoqのインストール - 檜山正幸のキマイラ飼育記 誰も書かないCoq入門以前の話 - 檜山正幸のキマイラ飼育記 業務ソフトまたはゲームソフトとしてのCoq （誰も書かないCoq入門以前 2） - 檜山正幸…
有働アナはよく泣く。 google:有働アナ 泣 おちゃめな新人の頃からファンだが、今ではすっかり大物。退社しなければNHK幹部だろうな。[追記]今だと水卜アナが人気だけど、昔の有働アナも、美人じゃないけど可愛くて、度胸がすわっていて頭が切れて、しかしど…
次を読めば参考になるはず。 Title: Quasistrict symmetric monoidal 2-categories via wire diagrams Author: Bruce Bartlett URL: http://arxiv.org/abs/1409.2148 Pages: 18p. Title: Polycategories via pseudo-distributive laws Author: Richard Garne…
画像を集めた。まず、http://www.wirecable-sales.com/documents/wire_not_cable からの画像。ワイヤーの説明は、「電線は一般に、導体が絶縁体である保護被覆に覆われているものを指します。」 http://www.wirecable-sales.com/img/densen_zukai2.jpg 次は…
本編から、「コンパクト閉」「線形代数」「テンソル」を検索して、目視で拾って、エントリーの最初の文をコピー。順不同。見落としはあるかもしれない。もし整理したら、それをまた掲載して、ここはobsoleteにする。 線形代数の話題 20101214 コンパクト閉圏…
2007-03-31 右ケリー双対と左ケリー双対が一致する圏：等方的剛性 - 檜山正幸のキマイラ飼育記 メモ編 任意のAに対してケリー双対系(A, R, η, ε)、(L, A, δ, γ)が存在するような圏は堅い圏と呼ぶ。 2007-04-03 平面的フィードバック - 檜山正幸のキマイラ飼…
2009-03-05 詳細は後で（バートレット、計算の世界、XML） - 檜山正幸のキマイラ飼育記 メモ編 バートレットの学位論文 "On unitary 2-representations of finite groups and topological quantum field theory" 5章を読んだ。 2009-03-05 ブルース・バート…
バートレット（bartlett）についてはけっこう書いている。表記がアルファベットとカタカナと統一されてないんだけど： http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=bartlett http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%A5%D0%A1%BC%…
過去の記事↓から、アレクサンダー／パヒナー移動（Alexander/Pachner move）、カーター／サイトウ（さいとう・まさひこ）移動に関するものを拾った。 カーター／さいとう移動 - 檜山正幸のキマイラ飼育記 メモ編 Pachner移動 - 檜山正幸のキマイラ飼育記 メ…
Continuation Semantics of Expressing Implication by Negation Constructing a small category of setoid / https://www.diva-portal.org/smash/get/diva2:399799/FULLTEXT01.pdf Monads of a Non-Associative Composition / duploids.pdfがローカルにある…
とあるトラブルで、ビチャビチャになったので捨てる。が、オリジナルのURLを後で探す。 On the Category of PROPs / Hackney & Robertson BASIC CONCEPTS OF ENRICHED CATEGORY THEORY/ Max Kellyhttp://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdfch…
Global State（ストレージ）を特徴付ける7つの公理 - 檜山正幸のキマイラ飼育記 メモ編 プロトキン／パワーのストレージ代数 - 檜山正幸のキマイラ飼育記 メモ編 フロベニウス半群 - 檜山正幸のキマイラ飼育記 メモ編 フロベニウス加群族 - 檜山正幸のキマイ…
プロペラッドについては次が詳しい、大作。ハックニー／ロバートソン／ヤウ。 Title: Infinity Properads and Infinity Wheeled Properads Authors: Philip Hackney, Marcy Robertson, Donald Yau URL: http://arxiv.org/abs/1410.6716 続きかな？ Title: Th…
Title: Linearly distributive functors (1999) Authors: J. R. B. Cockett and R. A. G. Seely URL: http://www.chimaira.org/archive/LinearlyDistributiveFunctors_linmorph.ps.pdf これのp.11からp.18あたりに関手ボックスの説明がある。 Title: The joy…
プロップ回りでは、ハックニー／ロバートソンの http://arxiv.org/abs/1207.2773 と、あとボブ・クック関連の http://www.cs.ox.ac.uk/people/bob.coecke/andrei.pdf もあった。この論説にタイトルがないが、学生の Andrei Akhvlediani（https://www.cs.ox.a…
nLabのプロップの定義はなんか変だと思う。 http://ncatlab.org/nlab/show/PROP プロップやオペラッドの話だと、セオリーとモデル（代数＝加群＝表現）の混同がけっこうある。んで、スッキリしたプロップの定義がやっと見つかった。 Title: On the category …
Title: Weakly Enriched Higher Categories Author: Rune Haugseng URL: http://www.chimaira.org/archive/WeaklyEnrichedHigherCategories_862974838-MIT.pdf Pages: 190p HaugsengのMIT学位論文。モダンで詳細。ルーリー流の高次圏論をベースにした豊饒圏…
モニャドセミナー2の資料やら補足やらナニヤラ - 檜山正幸のキマイラ飼育記 に、以下の写真がある。これって、オペラッドのようにも見える。が、結合じゃなくて直和取っているように思える。いまいち不明？[追記]単純平面タングル圏をSPTとして、SPT(0, 0) …
