https://ncatlab.org/nlab/show/Grothendieck+fibration#opfibrations_and_bifibrations 全圏と底圏の反対圏を取ったものがファイブレーションなら、それは反ファイブレーション。反ファイブレーションは、共変のインデックス付き圏＝余インデックス付き圏に…

近傍半辺集合〈近傍フラグ集合〉： ボリソフ／マニンは $`F_\tau(v) = \partial^{-1}(v)`$ edge-corolla ： 頂点とその近傍半辺集合から作られるカローラ grafted edge ： ソースグラフのテールがペアリングされて作られたターゲット側の内部辺 edge preserv…

光のレイ〈ray of light〉 https://www.quora.com/What-is-a-ray-of-light-and-how-small-is-it レイ・フロレット〈ray floret〉 https://plantsinreallife.wordpress.com/2013/06/24/this-is-not-a-flower/ ハワイのレイ〈Lei | Ray〉 https://www.alohahaw…

厳密には同義語ではないが。 半辺 枝〈branch〉（望月） 開放辺〈open edge〉 非接続辺〈dangling edge〉 フラグ ダート 外線〈external line〉 外部辺〈external edge〉 テール 外フラグ〈outer flag〉 外部フラグ〈external flag〉 脚 ヘア〈毛〉 リード〈…

おそらく金曜（2023-11-10）あたりから、HackMDの数式表示が壊れている。改行処理が走らないのと、拡張モジュールが読み込めないのが症状。拡張モジュールは \require{XXXX} としてロードする。次のソースコードをサンプルにする。 色付け $\require{color}\…

「ホムセット要素／色／極性の相当物の呼び名」の続き。 図／図式〈ダイアグラム〉はキャンバスに描かれる。 キャンバスに穴〈holes〉があるかも知れない。 穴はインターフェイスを持ち、キャンバス自体も（外部境界の）インターフェイスを持つ。 複数の穴は…

バエズ／ドーラン・ツリー 星座図 入れ子のワイヤリング図 バエズ／ドーラン低木〈shrub〉 平坦な星座図 ワイヤリング図 バエズ／ドーラン低木 シームレス・バエズ／ドーラン・ツリー 高さ1以下のバエズ／ドーラン・ツリー ワイヤリング・パターン ＝ ワイヤ…

ホムセット相当物の要素をなんと呼ぶか？ セル アロー エッジ フェース ハイパーエッジ 射 オペレーション テンソル 状態 項 構造（スピシーズのとき） オブジェクト（一般的なモノとして） ホムセット相当物に作用する写像は： コンビネータ メタオペレーシ…

縫い目と言えばフランケンシュタインの怪物。 https://woman.mynavi.jp/article/141230-47/ マイナビ ウーマン 意外と知らない知識「フランケンシュタイン→怪物の名前ではない」 スポットと言えばダルメシアン。 https://dog.benesse.ne.jp/doglist/big/cont…

今日から起算して、20日後くらいにはできると思う。こちらから問い合わせしないと知らせてくれない。

位相的形状 安全性： 例外ループ禁止〈安全〉 vs. 例外ループ許容 連結性： 連結性要求〈連結〉 vs. 連結性不問 修飾 色： 色無し vs. 色付き 極性： 無極 vs. 有極〈偏極〉 向き： 有向 vs. 無向 形容詞短縮形： safe conn $`\mathfrak{C}`$-color polar dir

モジュラーオペラッドを原圏〈urcategory | 原始圏 | ウル圏〉と呼ぶ。ウル〈ur-〉の意味は、https://www.etymonline.com/jp/word/ur- 「原始的な、初期の」という意味の接頭辞で、ドイツ語の「ur-」から派生しました。 ドイツ語の元々の意味は「外側、原始…

[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://arxiv.org/pdf/1603.03039.pdf からの引用とコメント。コメントは引用の後。引用に関係しないコメントもある。 1 Introduction to Tensor Network NotationTensor network notation (TNN) can be considered a generalisation of Einstein summation…

半グラフは開放辺を持つ無向グラフである。半グラフに対するアンカリングとは： Aアンカリング： 各頂点に接続する辺の集合に全順序を入れる。Aは All ports から。 Bアンカリング： 各頂点に接続する辺の集合を二分割して、2つのパートにそれぞれ全順序を入…

http://www.tac.mta.ca/tac/volumes/28/1/28-01.pdf を見てたら、 律子を coherent isomorphisms と呼んでいた。これは coherence isomorphisms と同義だ。 参照 → 一貫性の用語 - (新) 檜山正幸のキマイラ飼育記 メモ編また、sort を圏の種別の意味で使って…

大枠は次のようになっている。ServerアイテムのリストがServers。 <FileZilla3> <Servers> <Server> ... </Server> ... <Servers> </FileZilla3> めぼしい項目は： Host ホストのドメイン名かIPアドレス（V4でよい） Port FTPなら通常 21 User ユーザー名 Pass パスワード、平文 Account ？ 使ってないようだ。要素はある…

＊＊＊＊ この記事は書きかけ、今後、追加・修正・変更をして本編記事にする予定。本編に移したらこのエントリーは削除します。 ＊＊＊＊含意演算と論理順序の違いをどう書き分けるか？ この問題は、もう何年も、いやっ、何十年も困っています。関連する話題…

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://www.youtube.com/watch?v=Ro1WF90_RKg期間限定無料公開「プリデスティネーション」、そのうち消えるのだろう。 なんとなく見始めた。前半はボーッと見てただけ。後半で「オオ」となった。登場人物が一人というのがネタバレ。時系列順に整理してみる…

https://hackmd.io/@m-hiyama/SJrIysNqq

米田埋め込み的なもの 米田単元埋め込み $`a \mapsto \{a\}`$ 米田クロネッカー・デルタ $`a\mapsto \delta^a`$ 米田CPS変換 $`f \mapsto f^*`$ 米田ケーリー表現／米田ケーリー加群 米田エルブラン・モデル 淡中埋め込み的なもの 淡中単項フィルター 淡中ゲ…

モノイド指標 Σ Σの圏Cでの付値モデル〈valuation model〉をΣ-代数と呼ぶ。Σ-Alg(C) := MonSIG(Σ, UC) ある種の忘却関手 MonCAT → MonSIG が必要。 モノイド指標はコンピュータッドの一種 Σ-代数装備は、圏Cの対象の弱モノイドからΣ-Alg(C)の対象の弱モノイ…

ファミリーの圏 $`{\bf Fam}[A]`$ は前層圏 順序集合に対するフィルター付き集合 $`\mathrm{FilteredSet}(A)`$ は前層圏 シェープ付き集合の圏 単体集合の圏： $`s{\bf Set}`$ 球体集合の圏： $`g{\bf Set}`$ 方体集合の圏： $`c{\bf Set}`$ 有向グラフの圏 …

Texcy Luxe〈テクシーリュクス〉という靴が履きやすい。25cm EEE。 公式サイト

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…

https://www.mscs.dal.ca/~selinger/papers/graphical.pdf https://ncatlab.org/nlab/show/DisCoPy https://arxiv.org/abs/2204.02284 Free gs-Monoidal Categories and Free Markov Categories https://arxiv.org/abs/1308.3586 Abstract Tensor Systems as…