サーフェイス図のテキスト表現 ストリング図とストライプ図 環境付き計算と依存アクテゴリー 1/n 図式思考の例として、ラックス・モノイド関手について考えてみる 変換手2-圏の代数構造とストリング図表現 反ラックス・モノイド余モナドの余クライスリ圏 そ…

先にこれ読んでおいたほうがいい。 今風なLaTeXに関するメモ 「今風」とは言っても5年以上前ではあるが、~/latexmkrc や bxjsクラスについて書いている。オーバーリーフのいいところは： https://qiita.com/FluffyHernia/items/0cc751e56858c9c55b58 （2021…

帰納的型とリカーサー 帰納原理を完全に書き下す 複雑な定義の構文構造 イプシロン計算ってなんですかぁ？ こんなもんですよぉ タルスキーの定理の実例と応用 タルスキーの最小プレ不動点定理（訂正） ラムダ記法とイプシロン記法を組み合わせて関数を定義す…

だいだい年代順だが、同じ年のなかでは順不同。 牛が牧草を食うのが共変継承なのか？ (2006) 牛が牧草を食うことを、総称の文脈で語ってみよう (2006) クラス、オブジェクト、型； なんだか変じゃない？ (2006) オブジェクト指向と得体の知れないモノたち (2…

[HRY19b] Title: Modular operads and the nerve theorem Authors: Philip Hackney, Marcy Robertson, Donald Yau Submitted: 4 Jun 2019 (v1), 26 Apr 2020 (v2) Pages: 32p URL: https://arxiv.org/abs/1906.01144 URL (PDF): https://arxiv.org/pdf/1906.…

グラフィカルな色々 - (新) 檜山正幸のキマイラ飼育記 メモ編 の [JK09] 再掲。 [JK09] Title: Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract) Author: Andr? Joyal, Joachim Kock Submitted: 19 Aug 2009 P…

グラフィカルな色々 - (新) 檜山正幸のキマイラ飼育記 メモ編 の [Ray21] のメモ。 [Ray21] Title: Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras Autor: Sophie Raynor Submitted: 10 Aug 2021 (v1), 18 Nov 2022…

人物 ダンクソ／ハラーチェバ／ロバーツォン [DHR] ハックニー／ロバーツォン／ヤウ [HRY] ジョイアル／コック [JK] ソフィー・レイノア [Ray] ラルフ・カウフマン（ルイス・H・カウフマンと別人）／ワード [KW] ブラウダー [Bro] マニン [Man] nLab https:/…

https://www.irit.fr/~Ralph.Matthes/CAMCAD09/Papers/dixon-kissinger-camcad.pdf https://www.cs.ox.ac.uk/files/4551/cqm-notes.pdf https://ncatlab.org/nlab/show/hypergraph+category https://arxiv.org/pdf/2305.08768.pdf 本編 「スパイダー」

https://arxiv.org/abs/1711.08699 48p Functorial Semantics for Relational Theories https://arxiv.org/abs/1909.00069 31p Regular and relational categories: Revisiting 'Cartesian bicategories I' https://arxiv.org/abs/2109.14123 62p Regular Ca…

画像：*1*2 *3リンクと引用： 火の鳥 未来編 『COM』 1967/12-1968/09 Wikipedia 手塚治虫とデカルト閉圏 https://tezukaosamu.net/jp/manga/399.html より： 猿田博士が暮らすスノーグローブのような半球状のドームは、生命を封じ込めたグローブ=地球そのも…

URL: https://courses.engr.illinois.edu/cs576/sp2015/doc/isar-overview.pdf Title: A Tutorial Introduction to Structured Isar Proofs Author: Tobias Nipkow ブラケットは檜山が挿入。 a [tactic] proof is a more or less structured sequence of com…

Title: Kalish/Montague and Ja´skowski Natural Deduction Authors: Mohammad M. Ajallooeian, Francis Jeffry Pelletier Pages: 9p URL: https://mirror.las.iastate.edu/tex-archive/macros/latex/contrib/natded/extended_doc.pdf $`\newcommand{\mrm}[1…

Title: A Browsable Format for Proof Presentation Date: June 1996 Authors: Jim Grundy, Turku Centre Pages: 8p URL: https://www.researchgate.net/publication/2359706_A_Browsable_Format_for_Proof_Presentation structured calculational proof に…

この論文、参考になる。 https://kwarc.info/people/frabe/Research/KRW_isabelle_19.pdf Making Isabelle Content Accessible in Knowledge Representation Formats Michael Kohlhase, Florian Rabe, Makarius Wenzel 日付はハッキリしないが、2020以降なの…

今読み返しても自画自賛したくなる。 野生のデータを飼い慣らし育成する：データ・ブリーディングと進化的データベース ハイパーリンクは何を繋ぐのか データの部分構造とパート JSONのフラグメントIDとしてのポインター〈位置式〉／セレクター〈範囲式〉と…

https://msc2020.org/ より： categorize items in the mathematical sciences literature

JSONについて https://www.publickey1.jp/blog/17/jsonrfc_8259ecma-404_2nd_editonutf-8.html が面白いし、参考になる。コメント記述の経緯は https://qiita.com/yokra9/items/1ac03876415d7fd47a65 。https://json-schema.org/draft/2019-09/json-schema-c…

新しい順（2015までしかない）： Mingw-w64/MSYS2 を入れなくても Git for Windows で間に合うみたい - 檜山正幸のキマイラ飼育記 (はてなBlog) もうGitは怖くない： 自信を持って使いたいあなたへ - 檜山正幸のキマイラ飼育記 (はてなBlog) 極小チームでbit…

以前にも書いたが、包含的圏〈inclusive category〉は、 Composing Hidden Information Modules over Inclusive Institutions (2004) Joseph Goguen, Grigore Rosu 25p https://fsl.cs.illinois.edu/publications/goguen-rosu-2004-dahl.pdf 包含系は： Grot…

"Shapely monads and analytic functors" by Richard Garner, Tom Hirschowitz https://arxiv.org/abs/1512.05980 これが多圏類似構造のテキストとして非常によい。多圏類似構造の分類を絵算〈グラフィカル計算〉との関係で論じている。多射の図がどうなるか…

面積問題への対策（あるいは無策） (A21) - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2019-01-08 意味不明な言葉達 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2018-11-15 お絵描き証明の例 - (保存用) 檜山正幸のキマイラ飼育記 メモ編 2016-02-24 $`\v…

順不同。 選言ボックスと二面ノード - (新) 檜山正幸のキマイラ飼育記 メモ編 選言ボックスと二面ノード デカルト閉復圏とラムダ計算 - (新) 檜山正幸のキマイラ飼育記 メモ編 ラムダ図 これはいいぞ！ ラムダハウス - (新) 檜山正幸のキマイラ飼育記 メモ編…

演繹可能性メタ命題 - (新) 檜山正幸のキマイラ飼育記 メモ編 で参照した過去記事達（新しい順）： 互換な演繹システムとシーケント、そして矢印記号 - 檜山正幸のキマイラ飼育記 (はてなBlog) 演繹定理 論理／メタ論理の記法をどうするか 2: 悟りへの道 - …

A Graphical User Interface Framework for Formal Verification https://drops.dagstuhl.de/opus/volltexte/2021/13899/pdf/LIPIcs-ITP-2021-4.pdf Design of point-and-click user interfaces for proof assistants https://www.chimaira.org/archive/ICFE…

TrRun4: 檜山トレラン4 X01 アットマークによる識別ヒント - HackMD 檜山トレラン4 E01 名付けのジレンマ - HackMD 檜山トレラン4 D01 混乱しがちな言葉 - HackMD 檜山トレラン4 B02 名前の使用法と導入時の半形式的記述 - HackMD 檜山トレラン4 B08 0-文法 …

Title: Shapely monads and analytic functors Authors: Richard Garner, Tom Hirschowitz Submitted: 18 Dec 2015 (v1), 10 Oct 2017 (v3) Pages: 52p URL : https://arxiv.org/abs/1512.05980 多項式の一般化。多圏と類似物がまとめてあるのがいい。多射に…

位相空間の圏 Title: The Quillen model category of topological spaces Author: Philip S. Hirschhorn Pages: 22p URL: https://arxiv.org/abs/1508.01942 擬圏の圏 Title: A MODEL STRUCTURE FOR QUASI-CATEGORIES Author: EMILY RIEHL (DISCUSSED WITH J…

時間順： JSONの可能性がグンと拡がるぞ！ JSONスキーマ 最近のJSONスキーマを解説します JSONだってハイパーメディア -- JSONハイパースキーマ仕様をなんとかしたい ハイパーリンクはホントウに難しい 検索： 「ハイパースキーマ」の検索 https://m-hiyama.…

まずはこれから： https://ncatlab.org/nlab/show/clone [0810.3162] Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic [1205.3050] Operads, clones, and distributive laws