[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

ブログでのタグは： STEM 半形式証明スクリプト xgerby stringer ブックマークでのタグでは： proof-lang string-logic proof-shell tenjin tenjin-dev gergy tagging muses muses-dev とか。理論的背景は： https://math.mit.edu/~dspivak/informatics/olog…

The 2-category theory of quasi-categories 84p https://arxiv.org/abs/1306.5144 Homotopy coherent adjunctions and the formal theory of monads 79p https://arxiv.org/abs/1310.8279 Completeness results for quasi-categories of algebras, homotopy…

THE 2-CATEGORY THEORY OF QUASI-CATEGORIES (21 Jun 2013) 84p https://arxiv.org/abs/1306.5144 HOMOTOPY COHERENT ADJUNCTIONS AND THE FORMAL THEORY OF MONADS (30 Oct 2013) 79p https://arxiv.org/abs/1310.8279 Fibrations and Yoneda's lemma in an…

JS91 "The geometry of tensor calculus, I" → https://www.sciencedirect.com/science/article/pii/000187089190003P JS93 André Joyal and Ross Street. “Braided tensor categories” → https://www.sciencedirect.com/science/article/pii/S0001870883710…