タイル図、スタック図のたぐい。「オペラッド・ブロック図〈operadic block diagram〉」としよう。 プレートまたはキャンバスまたはブロック 四角形プレート 三角形プレートまたは家形プレート〈home shaped plate〉（五角形） 溝付き四角形プレート〈trench…

任意の関数をニ部テーブル化できる。 任意の複関数〈multimorphism〉を多部ニ部テーブル化できる。 任意の多関数〈polymorphism〉を多部ニ部テーブル化できる。 テーブルの関数化／複関数化／多関数化は一般的には出来ない。特別な場合にはできる。その特別…

select句 joinとconnect データベース系〈データベース・システム〉 下流域と上流域 select句 select句の関数による代替。ユニット型（特定された単元集合型）の唯一の要素をスター（$`\star`$）と呼ぶ。スターはダミーデータとみなす。 swap関数 組み合わせ…

ユニット型を空集合だと誤解する。ヴォイド型という名前も誤解の原因。 空型〈never型〉は基本型としては出てこない。特別なタプル型としてユニット型が出てくる。 空型は出てこない（ようにできる）が空データ（型のインスタンスとしての空集合）は出てくる…

ストリング図 スライシング 半グラフ 三色グラフ ムービームーブ サーフェイス図 ストリング図 ダガー・ハイパーグラフ圏とドット付きワイヤリング図 ストリンググラフとストリング図 ストリング図と因子グラフ スライシング *1 半グラフ *2 三色グラフ *3 …

番号 操作名 記号 英語 曲面操作 1 (1) 頂点マージ M vertex Merge ズボンから円環 M 2 頂点分離 M' vertex Split 円環からズボン M' 3 (2) 外部辺架橋（1頂点） B1 (1-vertex) outer-edge Bridge 下向き自己ベント導入下方シフト B1 4 (3) 外部辺架橋（2頂…

リレーションスキーマ： テーブルスキーマのこと。リレーション名 R と属性名達 A1, ..., An により R(A1, ..., An) と書く。 ドメイン関数 dom ： 圏論とは違う。属性名を受け取って、その属性の値達の集合を返す。dom(A1) = INTEGER とか。 インスタンス …

別名： 別名の AS はセレクトリスト内（カラム名別名）、FROM句内（テーブル名別名）、 日本語名はシングルクォートが必要（嫌だねー）。日本語名の扱いは中途半端。 WHERE句内で別名は効かない。WHER句を疑似テーブル扱いすれば、束縛変数としての別名を使…

セクターの同義語候補 レイヤー（Kock et al. の用語） リージョン パート ピース バエズ／ドーラン曲面において、内部境界、外部境界、シームはいずれもサークルなので、まとめてサークルと呼ぶ。 サークル ＝ (内部境界サークル | 外部境界サークル | シー…

アリーナ周り - (新) 檜山正幸のキマイラ飼育記 メモ編 も参照。以下はほぼ同義語： バンドル ファミリー コンテナ ファイバー付き集合 順序なしの低木林 低木林は低木〈シュラブ〉の林だが、 低木＝カローラ＝単頂点ループなし半グラフ＝付点有限集合 林＝…

コック／ジョイアル／バタニン／マスカリの Polynomial functors and opetopes に出てくる「ドットとサークルの入れ子図〈nesting〉」を変更して、クロスとドットとサークルにする。 クロス ☓： 穴開き曲面の“穴”を表わす。 ドット ・： 他と孤立した球面を…

img/braid-base.gif 記事無しimg/crossing-sign.gif はじめての圏論 中間付録B：アミダとブレイド - 檜山正幸のキマイラ飼育記 (はてなBlog) カリー／ハワード（Curry-Howard）の対応を知らない子ども達および大人達へ - 檜山正幸のキマイラ飼育記 (はてなBl…

bent は土木用語で「橋脚」「ラーメン」。以下はラーメン構造のピロティ。出典不明。

これは、クライミング練習用の巨大ペグボード。出典： https://www.hippychippyaustralia.com.au/products/climbing-peg-boards-192 商品画像

参考記事 設定ファイル 参考記事 「クレデンシャル」の検索結果 アカウントとクレデンシャルと管理の構造 設定ファイル~/.ssh/config のフォーマットは： Host 〈名前〉 HostName 〈ドメイン名またはIPアドレス〉 User 〈ユーザー名〉 Port 22 IdentityFile …

システム・スキーマ ： もとのシステム記述の文脈 スケマティック・サブスティテューション ： グラフ置換モナド由来 ストラクチャー・サム ： 状態和にインスパイアされて SS関手は関手に作用する関手になる。関手 $`F`$ に対する値は $`\mathsf{S\!S}(F)`$…

テンソル計算のプレ指標は、次で与えられる。 色（と呼ばれる記号）のレパートリー（集合のこと） 脚に色が付いた無名ノード達の集合 脚に色が付いたドット達の集合 無名ノードは色付き脚（プロファイル＝形状と色付け）で決まるから、プロファイルの集合だ…