2024-04-14

代表的な指標

圏一般論本編ネタセオリー論

モノイド
自己関手
モナド
自己関手のランベック代数
モナドのアイレンベルク／ムーア代数
付点自己関手
付点自己関手の“代数”
自己関手対の分配系
モナド対の分配系
自己関手対の分配系の“代数”
モナド対の分配系の“代数”

2024-04-14

様々な構成

圏一般論本編ネタ

グロタンディーク構成とその逆
Diag構成
1. Fam構成
2. Atlas構成
3. 特定形状の前層構成
4. 特定形状の余前層構成
関手意味論
モデル構成（指標とターゲットからモデル圏を構成する）
アイレンベルク／ムーア構成
クライスリ構成
ランベック構成（自己関手から代数の圏を作る）
随伴-モナド・構成
随伴-コモナド・構成
Para構成
オプティック構成
スライス構成（スライス圏、デカラージ、ファイブレーション）とコスライス構成
スパン構成、コスパン構成
クインテット構成、反クインテット構成
プロ円板構成（二重権から2-圏を取り出す）
Core構成（圏から亜群を取り出す）
ベック分配系から2個の演算を持つ代数の圏を作る構成
多項式図式〈ブリッジ図式〉から多項式関手を作る構成

考えること：

構成が写像になるか、関手になるか、2-関手になるか、どんな変換手になるか？ (n, k)-変換手になる構成は (n, k)-構成。写像なら (0, 0)-構成。
指標の段階的具体化によるインスタンス構成
構成のカリー化／反カリー化
ラムダ束縛による構成抽象／変換手抽象と、内包的記法＝タウ束縛によるn-圏把握〈comprehension〉

2023-12-29

随伴トリプルと双ファイブレーション

圏一般論

https://ncatlab.org/nlab/show/Grothendieck+fibration#opfibrations_and_bifibrations

全圏と底圏の反対圏を取ったものがファイブレーションなら、それは反ファイブレーション。反ファイブレーションは、共変のインデックス付き圏＝余インデックス付き圏に対応する。同一の射影関手が、同時にファイブレーションであり反ファイブレーションであるとき、双ファイブレーション。

双ファイブレーションは随伴トリプルに対応する。

論理／型理論	Σ_f	Δ_f	Π_f
層の理論	f_!	f^*	f_*

これは、グロタンディーク四オペレーションの f^* = f^! のケース。https://ncatlab.org/nlab/show/six+operations

$`f_! \dashv f^!`$
$`f^* \dashv f_*`$
$`f_! \dashv f^! = f^* \dashv f_*`$

反ファイブレーションは、余ファイバー付き圏（by グロタンディーク）。が、ホモトピー論と相性が悪い。ホモトピー的には：

ファイブレーション：リフティング性を持つ。
余ファイブレーション：拡張性を持つ。

[追記]スライス・インデキシング $`X \mapsto \mathcal{C}/X`$ では、後結合前送り関手が $`f_!`$ で、その随伴のデカルト引き戻しが $`f^*`$ 。つまり、$`f_! \dashv f^*`$ 。さらに引き戻し $`f^*`$ の右随伴があれば $`f*`$ 、つまり $`f^* \dashv f_*`$ 。結局 $`f_! \dashv f^* \dashv f_*`$ 。
[/追記]

2023-12-18

半グラフ

本編ネタ

近傍半辺集合〈近傍フラグ集合〉：ボリソフ／マニンは $`F_\tau(v) = \partial^{-1}(v)`$
edge-corolla ：頂点とその近傍半辺集合から作られるカローラ
grafted edge ：ソースグラフのテールがペアリングされて作られたターゲット側の内部辺
edge preserving map ：辺関係〈ペアリング対合〉が保存される。
merger〈頂点統合〉：半辺写像で、辺関係が保存される変形。

2023-11-24

レイ

画像

綴りは Lei が多い。が、Ray はハワイ語で「光」を意味するらしい。

レイ〈lei〉

エイ

エイ

2023-11-20

半グラフの半辺

用語法多義語

厳密には同義語ではないが。

半辺
枝〈branch〉（望月）
開放辺〈open edge〉
非接続辺〈dangling edge〉
フラグ
ダート
外線〈external line〉
外部辺〈external edge〉
テール
外フラグ〈outer flag〉
外部フラグ〈external flag〉
脚
ヘア〈毛〉
リード〈lead〉

2023-11-12

HackMDのMathJaxレンダリング・バグ

メモ記録

おそらく金曜（2023-11-10）あたりから、HackMDの数式表示が壊れている。改行処理が走らないのと、拡張モジュールが読み込めないのが症状。

拡張モジュールは \require{XXXX} としてロードする。次のソースコードをサンプルにする。

色付け
$\require{color}\textcolor{green}{\text{Definition}}$

圏論図式
$\require{AMScd}
\begin{CD}
 A @>>> B\\
 @VVV   @VVV\\
 C @>>> D
\end{CD}$

はてなブログのMathJax機能（公式じゃなくて個人的カスタマイズだが）で直接レンダリングすると：

色付け
$`\require{color}\textcolor{green}{\text{Definition}}`$
圏論図式
$`\require{AMScd}
\begin{CD}
A @>>> B\\
@VVV @VVV\\
C @>>> D
\end{CD}`$

上記サンプルをHackMD文書にして、自分の環境で、chrome, firefox, Microsoft Edge でレンダリングした画面コピー：

chrome：

firefox：

Edge：

どれもまともに表示できないが、どれも症状が違う。実に笑ける -- 苦笑い、泣き笑いだが。

MathJaxのキャッチフレーズは math in all browsers だが、設計も実装もだいぶトリッキーで汚いことやりまくっているから、ギリギリの綱渡りで数式表示が出来ているのが現状。HackMDが全面的に悪いとも思えない。とても困ってはいるけど。

2023-10-26

インターフェイス、オペセット、算子〈アイテム〉

圏一般論本編ネタ

「ホムセット要素／色／極性の相当物の呼び名」の続き。

図／図式〈ダイアグラム〉はキャンバスに描かれる。
キャンバスに穴〈holes〉があるかも知れない。
穴はインターフェイスを持ち、キャンバス自体も（外部境界の）インターフェイスを持つ。
複数の穴は複数のインターフェイスを持ち、それはインターフェイスのクラスター〈構造付き有限集合〉になる。
インターフェイスに対する集合の割り当てをスピシーズと呼ぶ。単純な文脈ではスピシーズをファミリーと呼ぶ。
穴達〈holes = arguments〉に対するインターフェイスは、インターフェイスのクラスターを形成する。
スピシーズがあると、穴達は“集合のクラスター”を作る。
図式セット〈set of diagrams〉〈フォレスト〉があり、所属する図式ごとに、スピシーズから決まる集合のクラスターからの関数が決まっているとき、それを当該図式に対するコンビネータと呼ぶ。
特定のスピシーズと図式でインデックスされたコンビネータの族を“インターフェイス付き図式セット”の集合表現〈set representation〉と呼ぶ。
図式 $`d`$ のコンビネータを $`\mathbb{K}_d`$ と書く。コンビネータは、複関手の複ホムパートになる。対象パートがスピシーズで与えられる。
インターフェイス付き図式〈形状〉の集まりがスケマティック系だとすると、インターフェイス上のスピシーズと、コンビネータがスケマティック系の集合表現を与える。
スケマティック系の集合表現の全体は圏となる。表現の圏／代数の圏。

スケマティック系としてのモノイド

色の集合は単元集合。
アルファベットは図式〈シンボル〉の集合である。この場合、アルファベットの個々の文字が図式〈シンボル〉になる。
文字＝図式＝シンボルのインターフェイス〈インターフェイス〉は単元集合に値を取る。
スピシーズは単一の集合のことである。
スピシーズが定義する集合のクラスターは、集合のリスト。意味は直積。
図式〈シンボル〉ごとのコンビネータは、$`\mathbb{K}_a : X \to X`$ という写像。
図式〈シンボル〉ごとのコンビネータ＝文字ごとの写像があれば、自由モノイドに拡張できる。
異なるアルファベットは、異なるスケマティック系を定義する。
アイテムセットは、表現集合となり、アイテムとは表現集合の要素である。
アイテムのリラベリングによる転移は発生しない。

スケマティック系としての圏

グラフの頂点が色となる。
グラフの辺が図式〈シンボル〉となる。図式〈シンボル〉の集合は、辺の集合。
辺＝図式＝シンボルのインターフェイス〈プロファイル | 色付きクラスター〉は、頂点のペアに値をとる。
スピシーズは頂点に集合を割り当てる。
スピシーズが定義する集合のクラスターは、集合のリスト。意味は直積。
図式＝辺ごとのコンビネータは、$`\mathbb{K}_f : X \to Y`$ という写像。
アイテムセットは、表現集合となり、アイテムとは表現集合の要素である。
異なるアルファベットは、異なる圏を定義する。

2023-10-05

バエズ／ドーラン・ツリーの呼び名

圏一般論本編ネタ

バエズ／ドーラン・ツリー	星座図	入れ子のワイヤリング図
バエズ／ドーラン低木〈shrub〉	平坦な星座図	ワイヤリング図

バエズ／ドーラン低木
シームレス・バエズ／ドーラン・ツリー
高さ1以下のバエズ／ドーラン・ツリー

ワイヤリング・パターン＝ワイヤリング図の同型同値類

バエズ／ドーラン低木の同型同値類

2023-10-05

ホムセット要素／色／極性の相当物の呼び名

圏一般論本編ネタ

ホムセット相当物の要素をなんと呼ぶか？

セル
アロー
エッジ
フェース
ハイパーエッジ
射
オペレーション
テンソル
状態
項
構造（スピシーズのとき）
オブジェクト（一般的なモノとして）

ホムセット相当物に作用する写像は：

コンビネータ
メタオペレーション（オペレーションに対するオペレーションだから）
高階オペレーション

オペラッドの色に相当するモノをなんと呼ぶか？

タイプ
ソート
色
対象

プロファイルに相当するモノをなんと呼ぶか？

インターフェイス
プロファイル
シグネチャ

極性に相当するモノをなんと呼ぶか？

極性
符号
パリティ
荷電

色パレットの色に相当するモノをなんと呼ぶか？

値
ラベル
色
重さ
修飾

2023-09-28

縫い目とスポット

画像

縫い目と言えばフランケンシュタインの怪物。

https://woman.mynavi.jp/article/141230-47/
マイナビウーマン
意外と知らない知識「フランケンシュタイン→怪物の名前ではない」

スポットと言えばダルメシアン。

https://dog.benesse.ne.jp/doglist/big/content/?id=13413
いぬのきもち WEB MAGAZINE
ダルメシアンの特徴・性格　最新価格と飼い方｜いぬのきもち犬図鑑

2023-09-25

Tシャツ注文

記録メモ

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

2023-09-13

半グラフの分類基準

圏一般論本編ネタお絵描き

位相的形状
- 安全性：例外ループ禁止〈安全〉 vs. 例外ループ許容
- 連結性：連結性要求〈連結〉 vs. 連結性不問
修飾
- 色：色無し vs. 色付き
- 極性：無極 vs. 有極〈偏極〉
- 向き：有向 vs. 無向

形容詞短縮形：

safe
conn
$`\mathfrak{C}`$-color
polar
dir

2023-09-13

原圏〈urcategory〉

圏一般論本編ネタ用語法

モジュラーオペラッドを原圏〈urcategory | 原始圏 | ウル圏〉と呼ぶ。ウル〈ur-〉の意味は、

https://www.etymonline.com/jp/word/ur-

「原始的な、初期の」という意味の接頭辞で、ドイツ語の「ur-」から派生しました。ドイツ語の元々の意味は「外側、原始的な」という意味で、古代ゲルマン語の「*uz-」から派生し、PIE の「*ud-」（「out（adv.）」を参照）に由来します。

次のような分類をしたい。

原圏〈モジュラーオペラッド〉
圏
複圏〈オペラッド〉
余複圏
多圏

原圏に生成スパイダー〈初等スパイダー〉を装備〈gear〉して、スパイダー付き原圏〈spidered urcategory〉を作りたい。スパイダー付き色付き原圏がデータベース理論の道具。

2023-09-12

「HRY19b」のメモ

リンクメモ本編ネタ

[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.01144.pdf

メモ：
ポイント：
考えたこと：
（一時的でも）暗記事項：

$`\newcommand{\cat}[1]{\mathcal{#1} }
\newcommand{\mrm}[1]{\mathrm{#1} }
\newcommand{\op}{\mathrm{op} } %
\newcommand{\hyp}{\text{－} } %
\newcommand{\pto}{\supseteq\!\to } %
%`$

メモ：

singular functor とは？ nerve functorと同義か？
ひとつの半グラフに対して、ひとつのモジュラーオペラッドが作れる、どうやって？
圏の脈体定理を、モジュラーオペラッドの脈体定理に（が目的）。
composition = multiplication＠Ray, contraction = contraction＠Ray = contraction＠Kis 、テンソル積はない。非モノイド的。
$`i:\Delta \to {\bf Cat}`$ は圏解釈関手〈category interpretation functor〉
脈体関手（の対象パート）は $`\cat{C} \mapsto ({\bf Cat}(i(\hyp), \cat{C}) : \Delta^\op \to {\bf Set}) \in |\Delta^\wedge|`$
脈体定理は、シーガル・アプローチ〈Segalic approach〉の根幹。
A modular operad [GK98] is an algebraic structure
$`\Sigma_n`$-set とは、対称群が作用する集合
composition が contraction＠テンソル計算 = connecting で、contraction が trace ＝ self contraction = wheeling = looping だろう。
Segalic approach （Lawverian approach もあるでよ）
Our modular graphical category, called $`{\bf U}`$
$`{\bf U}`$ の対象は、 undirected, connected graphs with loose ends
$`{\bf U}`$ の射は、‘blowing up’ vertices of the source into subgraphs of the target
loose end は open edge と同義で、half-edge とは別。ファインマンの外線、キャンバス境界ポートに相当するだろう。
$`{\bf U}`$-前層の圏が問題になる。the presheaf category on the graphical category
忠実関手 $`{\bf U} \to {\bf ModOp}`$ がある。ひとつのグラフに対して、ひとつの色付きモジュラー・オペラッドが対応する。ほう、そうなんだ。グラフィカル圏から代数系（CLAS）の圏への忠実関手。
上記の代数生成関手〈algebra generating functor〉は、グラフをいったんばらして指標にしてから自由生成しているのではないか？なんか微妙なところがある。絵図種〈graphical species〉が指標では？
忠実関手から反変的に誘導される前層圏への関手 $`{\bf ModOp} \to {\bf U}^\wedge`$ は充満忠実。
前述の充満忠実関手が脈体関手で、本質像〈essential image〉はシーガル条件で記述される。（シーガル脈体定理）
脈体関手は特異関手と同義だろう、たぶん。で、脈体関手は、代数〈CLAS〉生成関手から作られる。
色集合は、対合を持つ対合付き色集合。
color matching が重要になる。color matching で結合可能／縮約可能条件を記述する。
color matching for composition and contraction operations
モジュラー・オペラッドは、ground category（集合圏やベクトル空間の圏）に対して相対的に定義される。
involutive groupoid を color collection に使った例もある。
involution の例は opposing orientations of the edge、orientation はチューブの進行方向に対する回転の向きとか。
structured set of colors は pallete＠Ray が便利かも。
modular operad = compact symmetric multicategory
wheeled properad は、generalized modular operad の特殊ケース。
Theorem B が [JK09, 11] の示唆と予告の再現
This is the first publicly available proof of Theorem B. Our proof does not use the techniques proposed by Joyal and Kock. [JK09-] で示唆されたのとは違う手法で証明している。
形状〈絵図 | グラフ | スキーマ〉の圏から代数〈CLAS〉の圏への関手があると、脈体関手＝前層表現を誘導する。
monadic definition of modular operad ：モナド・アプローチも採用
関手 $`J:{\bf U} \to {\bf ModOp}`$ を $`\langle \hyp \rangle`$ で書く。
シーガル$`U`$-前層という概念が出てくる。シーガル・アプローチの代数。形容詞「シーガル」は、「シーガル条件を満たす」の意味。
‘loose ends’; that is, it is not necessary for both ends (or either end) of an edge to touch a vertex.
edges loose at one end ＝単頂点辺
ree floating edge ＝無頂点辺
flag の代わりにアーク〈arc〉。メンタルには有向辺で、先頭だけに頂点を持つかも知れない。
アークの矢印の先にある頂点を $`t : A \pto V`$ で指定する。
v を指すアーク a は、v から出る半辺 a 、これはボックス v に属するポート a でもある。
the involution i swaps orientation. という解釈。分かりにくい。
safeは free loop が無いこと。unsafe は free loop があること。
nodeless loop と exceptional edge は一人前のグラフの名前。グラフと“グラフの構成素”は違う。が、判別は微妙。ソフィー・レイノアも GRAPHICAL COMBINATORICS において、 exceptional edge, exceptional loop を使っていた。無頂点ループ＝自由浮動ループ＝例外ループ、例外＝無頂点、ニ頂点＝内部
グラフとして線形グラフ、サイクル。
有限集合 S のスターを定義している。これはカローラと同じもの。
グラフの頂点の近傍スターも定義している。ボックスのポートセットと同じ。
グラフが連結であることと、エタール射が定義される。エタール射は局所同型で、全域埋め込みではない。
連結グラフのあいだの射がエタール射で、頂点で単射なら埋め込み射。被覆もエタール射だから、埋め込みとエタール射はまったく違う。
埋め込み射によりサブオブジェクト集合 Sub(G) = Emb(G) を定義できる。HRYは Sub ではなくて Emb を使っている。
the loop with one vertex, a loop at a vertex と nodeless loop を使っている。レイノアは with no vertices も使っている。
例外辺〈exceptional edge〉は両端が開いた辺、無頂点ループは無ノードループ〈nodeless loop〉
価数〈valence〉はポート数、頂点の近傍は、ボックスのポート集合と同じ。
interface は使ってない。
インターフェイス関手は、色付き境界関手 $`\partial_\mathfrak{C}`$ になっている。

ポイント：

第1節が別論文の要約で、半グラフの話。圏 $`{\bf U}`$ を定義。
第1節でモジュラーオペラッド。モナド方式定義〈monadic definition〉と、グラフ $`G`$ からモジュラーオペラッド $`\langle G\rangle`$ 。つまり、$`J: {\bf U}\to {\bf ModOp}`$
パレット＠レイノアは $`\mathfrak{C}`$
モデルのターゲット圏、環境圏は $`{\bf E}`$
$`{\bf B}_\mathfrak{C}`$ は、$`\mathfrak{C}`$色付き有限集合（coloring function 付き集合）と色保存双射の圏〈亜群〉。Bはbijectionから。これは組み合わせ種〈combinatorial species〉の形状圏だ。
$`{\bf Set}^{{\bf B}_\mathfrak{C}}`$ は色付き形状〈無向指標〉の亜群の上で定義された組み合わせ種の圏。
$`J : {\bf U} \to {\bf ModOp}`$ に伴う脈体関手の定義は $`N(\hyp) = {\bf ModOp}(J\_, \hyp) : {\bf ModOp}\to {\bf U}^\wedge`$
free involutions on the sets of colors とは、集合から作った対合付き集合。もとの集合を2倍して極性を付ければよい。対合は $`{^\dagger}`$ と書く。

考えたこと：

ボックス＆ポート方式では、ポートはボックスに所属する接続点、無順序対が無向ワイヤーを与える。
頂点と半辺〈half-edge〉方式、頂点と有向辺〈arc〉方式、ボックス＆ポート方式がある。
線形グラフ〈竹グラフ〉とサイクル・グラフ（サークルやループと混同しないように）は半グラフの一種。サイクルは、サイクル・グラフからの射／エタール射／埋め込み射などを表すこともある。
例外ボックスを設けて、例外ボックスのポート（＝例外ポート）に無頂点ループを一対一対応付ける。例外ポートはワイヤリング写像の不動点になる。
exceptional edge はHRYも使っているが、構成素ではなくてグラフのこと。exceptional loopはないようで、nodeless loop は使っている。

（一時的でも）暗記事項：

[HRY] の半グラフは分かりにくく扱いにくい。
例外ループも2つのarcを持つ設定、気持ち悪い。
$`A`$ はすべての arc = ポートの集合
$`t`$ は target = terminal で arc = ポートのパートナー写像
$`D`$ は (t の domain) = 内部接続ポートまたは境界介在ポート。境界通過ポートと内部介在ポートと例外ポート＝例外ループは含まれない。
$`s`$ は subset injection
$`i`$ は involution = wiring = partner
$`s D \subseteq A`$ は、D と同じだから、内部接続ポートまたは境界介在ポート。
$`A \setminus s D`$ は、境界通過ポートと内部介在ポートと例外ループ。
$`i s D`$ は、内部接続ポートと内部介在ポート
$`(i s D \setminus s D)`$ は、境界介在ポート
境界には、境界介在ポートと境界通過ポートが含まれる。
明示的な $`\partial(G)`$ が[JK]と違う点。
前層の指標図式と境界写像〈boundary map〉、境界は外線の集合に対応する。
$`2 Z`$ は極性付きダブルだが、この記法は分かりにくい。$`Z + Z^dagger`$ とかでいいのでは。
$`\updownarrow`$ は例外辺グラフ＝ 2個の通過境界ポート
ポートとワイヤーの分類：境界介在〈intervention〉ポート、内部介在ポート、内部接続ポート、境界通過ポート、例外ポート。介在ワイヤー、接続ワイヤー、通過〈pass-through〉ワイヤー、例外ループ

光のレイ〈ray of light〉

レイ・フロレット〈ray floret〉

ハワイのレイ〈Lei | Ray〉

エイ

メモ：

ポイント：

考えたこと：

（一時的でも）暗記事項：