このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

ニョロニョロ の検索結果:

モノイド圏からのコーナリング構成

…y with duals〉を要求します。コーナーの種類が8種あると、次のようなワイヤー・ベンディング(180度の曲がり)を作れます。縦方向下向きのコーナーだけだと、上段のベンディングしか作れません。それだと、双対性(ニョロニョロ関係式)の半分しか記述できません。もとにするモノイド圏が持っている構造や性質、埋め込み先(として構成する)コーナリング圏の構造や性質により、諸々の状況が変化します。この変化を観察することにより、各種モノイド圏のあいだの親族的関連性も見えてくるでしょう。

スパイダー付き圏における仮想スパイダー

…p`$ が消えるのはニョロニョロ関係式〈snake {relation | equation | identity} 〉からです。コンパクト閉圏は、規準的なトレース・オペレーターを持ちます。このトレース・オペレーターも、単位/余単位を使って書けます。$`\For A, B, X \in |\cat{C}|\\ \:\\ \Declare \mrm{Tr}^X_{A,B}:\cat{C}(A\otimes X, B \otimes X) \to \cat{C}(A, B)\\ …

ワイヤーベンディングと条件化オペレーター

…x, x')`$次のニョロニョロ関係式〈snake {relation | equation | identity} 〉が成立します。$`\quad (\wedge_X \otimes \I_X)\C (\I_X \otimes \vee_X) = \I_X\\ \quad (\I_X \otimes \wedge_X )\C (\vee_X \otimes \I_X) = \I_X `$*1ニョロニョロ関係式の証明は、クロネッカーのデルタの練習問題として適切です。$`\ve…

ハイパーグラフ図の注意事項

…s A\\ \quad \cup_A : A\otimes A^* \to I`$ベータ変換は、ニョロニョロ・ワイヤーの引き伸ばしとして自然に解釈できますし、テキスト表示との関係も素直に理解できます。一方、ハイパーグラフ図で同じベータ変換を描くと次のようです。ストリング図ほどの自然さ/素直さは感じられません。ハイパーグラフ図を使うときは、この記事で述べたような問題点に注意する必要があります。あるいは、ハイパーグラフ図は使わずにやっぱりストリング図にするという判断もあり得ます。

緩化子〈ラクセイター〉

…nsorator〉 ニョロニョロ律 ニョロニョロ律子〈snakeorator | snakerator | gigzagerator〉 律子について初めて書いたのは2016年の次の記事です。 律子からカタストロフへ 最近だと、次の記事に説明があります。 両側アクテゴリーとその準同型射 // 律子=法則射 律子の語尾は -or にするのがルールで、Yang-Baxterator〈ヤン/バクスター律子〉なんてのも見たことがあります。ネーミングルールはあるのですが、「法則〈律〉をゆ…

モナド: 随伴系の圏の上のインデックス付き圏として

…き法則は、次の2つのニョロニョロ関係式〈snake {relation | equation | identity}〉です*3。随伴系の域と余域である圏も含めれば、随伴系は6つ組 です。随伴系を表すために、次のような記号の乱用をします。つまり: 随伴系とその左関手を同じ記号で表す(オーバーロード)。 随伴系の右関手は随伴系の名前にダッシュ〈プライム〉を付けた記号で表す。 随伴系の単位は の右肩に随伴系の名前を乗せた記号で表す。 随伴系の余単位は の右肩に随伴系の名前を乗せた記…

両側アクテゴリーとその準同型射

…erchangor ニョロニョロ法則 snakeorator 英語では語尾を'or'にするルールのようです。この'or'に相当する日本語として「律子〈りつし〉」を使ってきました。意味的に、律 = 法則、子 = 射 なので、次の正規表現の呼び名を許すことにします*1。 {律 | 法則}{子 | 射} 例えば、「律射」「法則子」でもかまいません。「法則射〈law morphism〉」が使いやすそうですね。法則射が満たすべき等式的法則(法則の法則)は一貫性条件〈coherence …

ストリング図とテンソル計算: クソバカ丁寧編

…の形になります。*1ニョロニョロ〈snaky〉が真っすぐ〈straight〉に伸ばせるよ、という命題がニョロニョロ関係式〈snake {relation | equation | identity} 〉です。随伴や双対と呼ばれる構造は、ニョロニョロ関係式で支配されています。 [/追記]関連する記事: ストリング図計算のコツと小技 マルコフ圏におけるテンソル計算の手順とコツ 続きの記事: ストリング図と相性が良いテンソル計算 2/2 ストリング図と相性が良いテンソル計算 1/2…

準マルコフ余モナドの計算と記述の方法

…す。線形代数におけるニョロニョロ関係式(「カッコイイけど使える線形代数とは?」参照)は次のように書けます。モノイド圏の構造同型射 をちゃんと考慮すれば次のようになります。ウーム。ニョロニョロな感じがしない(苦笑)。事例色々と不満や問題点はありますが、幾つかの等式を、前節の方法で書き下してみます。 反ラックス・モノイド関手の余乗法の自然性 としましょう。 が自然であることは次のように書けます。これは、なんとかストライプ図をイメージできるかな。 反ラックス・モノイド関手の余乗法の…

モナド達の上のモナド: ストリート・モナド

…随伴の単位/余単位とニョロニョロ関係式も必要ですけどね。2つのストリート随伴から、4つのモナド/コモナドが構成できます。 コモナド モナド モナド コモナド これらがストリート・モナド/コモナドですが、代表をひとつ選ぶなら、モナド達の圏 上のモナドである でしょう。おわりに核型随伴系とストリート・モナドに関しては「モナド力不足でよくわかんない」状態なので、今日はこれだけです。バヴロヴィック/ヒューズ論文には色々な具体例が載っているので、具体例を調べてみます。バヴロヴィック/ヒ…

モナドの分解の比較定理

…あることは、随伴系のニョロニョロ等式〈snake {equation | relation}〉から分かります。次に、上側比較関手 K:D → EM(T) を構成しましょう。上側比較関手は、圏 Resol(T) における終射(終対象への唯一の射)と言ってもいい(はず)です。EM(T) の対象はアイレンベルク/ムーア代数なので、それを A = (A, αA) in EM(T) と書くことにします。代数構造とその台対象(Cの対象)は区別します。ここで区別しない(記号の乱用をする)と…

圏論的線形代数をもう少し: 自由ベクトル空間の圏

…すね。[/追記] *3:充満部分圏は、ホムセットがめいっぱい太っている部分圏です。 *4:ニョロニョロ等式を満たす代数系としての随伴系からホムセット同型は導けます。逆に、可逆自然変換としてホムセット同型が与えられれば、そこから代数系としての随伴系を構成できます。 *5:同一の実体が2つ以上の顔〈役割〉を持つことは、日常では当たり前のことなんですが、なかなか難しいようです。セミナー補足資料として書いた記事に「「僕のおとうさん」と「お友達のおとうさん」 (C A4)」があります。

ボブ・クック教授による、対称とは限らないモノイド閉圏における絵の描き方

…ら下」の方向を採用しています。例えば、次の記事参照。 ラムダ計算の自然性とお絵描き モノイド閉圏: カリー化からニョロニョロまで ストリング図の読み書きは、下から上でも別にかまわない(さほど困らない)のですが、象形文字を「上から下」方向で決めているので、出来れば「上から下」を採用して欲しいのですよ。例えば、fの左カリー化は で右カリー化は です。ヤンキング(紐を引っ張って伸ばすこと)は次のように書けます。 「上から下」方向なら、ストリング図と象形文字記法がバッチリ一致します。

ベイズ確率論とデータベース理論の統合: カップル化可能圏

…f = f (一種のニョロニョロ等式)は、単位を使って次のようにも表せます。カップル化可能圏の公理である3つの法則は、絵等式では下のように描けます。 [結合公式] ∩(f;g) = ∩f;(idXg) [積公式] ∩(fg) = β;(∩f∩g);(idXσY,ZidZ) [可換律] ηX;σX,X = ηX タイトニング等式は下のようです。 [タイトニング等式] ∪(s;(idXg)) = ∪s;g カーブ・スライディング等式は次のようです。ここで、h† は、下側の等式を満…

随伴系の反転置写像とモナドのクライスリ拡張

…なることは、随伴系のニョロニョロ法則からすぐに出ます。f:A → M(B) に対して、f# := M(f);μB :M(A) → M(B) と定義すると、次の等式が成立します。 [外単位律] f:A → M(B) に対して、ηA;f# = f [内単位律] (ηA)# = idM(A) [入れ子律] f:A → M(B), g:B → M(C) に対して、(f;g#)# = f#;g# (-)# をモナドのクライスリ拡張〈Kleisli extension〉と呼びます。KlE…

随伴系はなぜ難しいか

…)演算が満たす法則はニョロニョロ法則です。ニョロニョロ法則については、次の記事とそこから参照されている他の記事を見てください。 カッコイイけど使える線形代数とは? // ニョロニョロ線形代数 随伴系の定義を指標〈signature〉で書けば次のようになります。([追記]下の f => f の部分が idA => idB と書いてありました。間違いです、訂正しました。g => g も同様。[/追記]) signature Adjunction { object A object…

マルコフ核: 確率計算のモダンな体系

…図的な意味があって、ニョロニョロを引き伸ばすことになります。「絵算の威力をお見せしよう」参照 *11:準ボレル空間の圏では、常に [X→Y] が作れるようです。 *12:積分記号を省略する書き方については「ライプニッツの微分記法とアインシュタインの総和規約を測度に使ってみる」参照。 *13:[追記]コルモゴロフの発音で噛んでしまうので、口頭では「チャップマン結合」でもいいとしましょう。[/追記] *14:フリッツ〈Tobias Fritz〉はSBorelStocをBorelS…

ガロア接続(順序随伴系)の簡単な例

…記事として: 3Dでニョロニョロしたい: 随伴・双対・ガロア接続 これらの記事では出してなかった、ガロア接続の簡単な例を挙げます。簡単な事例を吟味することは、理解の助けになると思います。内容: 順序集合と圏 ミート ガロア接続ペア ニョロニョロ ジョインと随伴トリオ 順序集合と圏順序集合の言葉使いと圏論の言葉使いの対応(翻訳の手引き)は次のようです。 順序集合 A 圏 A 要素 a 対象 a 関係 a≦b 射 a→b 関係 a≦a (反射性) 恒等射 ida 関係の推移 射の…

モノイド閉圏: カリー化からニョロニョロまで

…随伴系 -- つまりニョロニョロ等式を満たす2-圏的構造を構成してみます。内容: 随伴系の指標 指数随伴系 カリー化と反カリー化の対称性 二変数射と高階射 エバルとベータ変換等式 インスとイータ変換等式 随伴系の単位と余単位 ニョロニョロ等式 おわりに 随伴系の指標随伴系〈adjunction | adjoint system〉の指標を書いてみます。指標については「構造とその素材の書き表し方」を参照してください。 signature Adjunction in CAT { s…

随伴系の二重圏

…いに逆なのは、随伴のニョロニョロ関係式〈snake relation〉から明らかです。Nat(L*G, F*L':C→D') と Nat(G*R', R*F:D→C') のあいだでは、随伴系の単位・余単位を使ったメイト対応がうまく定義できないことが(やってみれば)分かります。随伴は完全な対称性は持ってないのですよね。ただし、(ストリング図で言えば)左右のワイヤーを交換するノードがあれば、メイト対応もどきが定義できるかも知れません(未確認)。互いにメイトである自然変換のペアをメ…

最近のモナド論の概観と注意事項 2/2

…でモナドなど 3Dでニョロニョロしたい: 随伴・双対・ガロア接続 順序随伴性: ガロア接続の圏論 記法バイアスと記法独立な把握: 順序随伴を例として 関係の圏 Rel 厳密2-圏としてのRelに関しては、「モナド論をヒントに圏論をする(弱2-圏の割と詳しい説明付き) // 2-圏の例 10選」を見てください。Aが集合、R:A→A がA上の(二項)関係で、R;R⊆R, ΔA⊆R (ΔA := {(x, y)∈A×A| x = y})を満たすとき、RはA上のプレ順序関係(推移的・…

随伴に関する注意事項

…で、法則として2つのニョロニョロ等式〈{snake | zigzag | zig-zag | triangle | triangular} {equation | identity | relation}〉を満たします。随伴系 X = (η, ε: F -| G, F:C→D) の構成素であるFをXの左関手、GをXの右関手と呼ぶことにします。これは、先に随伴系Xがあるときの呼び名です。随伴系 X = (η, ε: F -| G, F:C→D) が与えられている前提で、FはGの…

圏論的な相互依存主義から見たペアリング

…る」のです。随伴系はニョロニョロ等式〈snake {equation | identity}〉で統制されます。2つの随伴系があるので、合計4つのニョロニョロ等式があり、それがデカルト構造に対する天空の支配者〈Ruler in the Sky〉になっています。天空のニョロニョロ等式から、それなりの作業を経ることにより、我々にお馴染みの等式/命題を得ることができます。f, h:1'→A, g, k:1'→B in Set に対して: <f, g>;π1 = f <f, g>;π2…

カッコイイけど使える線形代数とは?

…代数 思い起こせば ニョロニョロ線形代数 お絵描き線形代数 同一じゃなくて同型、これがイヤ! おわりに 古式テンソル計算のモダン化ここ最近、「古典的微分幾何・ベクトル解析のモダン化」というシリーズ記事を書いています。この一環として、古式テンソル計算のモダン化をやりたいな、と思っています。古式テンソル計算ってなに? -- 古いスタイルの(古典的、古式)微分幾何・ベクトル解析には、通常の(オーソドックスな)線形代数とはだいぶ違った線形計算体系が付属しています。これを、古式テンソル…

カン拡張における上下左右: 入門の前に整理すべきこと

…ット同型方式、またはニョロニョロ方式で定義されます。 ホムセット同型方式のとき: (C, D, F, U, Φ)が随伴系 ニョロニョロ方式のとき: (C, D, F, U, η, ε)が随伴系 ここで: Cは圏 Dは圏 Fは、D→C という関手 Uは、C→D という関手 Φは、ΦA,X:C(F(A), X)→D(A, U(X)) という同型写像の族で、C(F(-), -)⇒D(-, U(-)):Dop×C→Set という自然変換 ηは、D^⇒F*U:D→D という自然変換(D…

圏論の随伴をちゃんと抑えよう: お絵描き完全解説

…す。 単位/余単位とニョロニョロ関係式を絵(ストリング図)で描けば次のようです。これらの公式は、絵(ストリング図)を使うと自然に解釈できますが、その話は次の機会にします。絵(ストリング図)で計算すれば楽です。絵算(pictorial/graphical/diagrammatic calculation)の話はいずれまとめてする予定です(今日はしない)。絵が描けるので、随伴系の計算は絵算(pictorial/graphical/diagrammatic calculation)…

圏論の随伴をちゃんと抑えよう

…単位 転置と反転置 ニョロニョロ方式の定義 ニョロニョロ方式のメリット 随伴系の書き方を約束する お絵描き完全解説の内容: 圏の圏における絵算 対象と射の格上げ 図式順記法と混合記法 絵算で何をやるのか 転置オペレータ/反転置オペレータとその描画 転置と反転置の自然性 ホムセット同型からニョロニョロへ 絵算のススメ 関連する記事: 双対と随伴、そして左と右 随伴系の書き方 随伴に関する注意事項 随伴系の圏の多様性 随伴系の二重圏 圏論における随伴もともと、デカルト圏に関する記…

双対や随伴に強くなるためのトレーニング

…UPWARDS' (U+21C0)です→⇀ ハープーンに'h'を乗せて、8種の方向で描くとこんな感じ↓双対性/随伴性を表すニョロニョロの左右ひっくり返しなら:紙ナプキンは、向きを変えたり裏返しがすぐに出来るし、薄くて透けているので、正しく鏡映が描けているかの確認も楽です。コーヒーを飲み終わって、紙ナプキンを数枚消費したら帰ります。 *1:画像は http://www.forest.impress.co.jp/img/wf/docs/401/540/image1.jpg より。

述語論理とインデックス付き圏と限量随伴性

…位 述語論理におけるニョロニョロ おわりに 命題論理まずは命題論理の話からはじめましょう。用語の整理をするだけなので、ご存知の方はこの節は飛ばしてもかまいません。命題論理を構成する基本概念は次のようなものです。 基本命題: a, b, c, ... 論理結合子: ∧(連言)、∨(選言)、¬(否定)、⊃(含意) 論理定数: T(真)、⊥(偽) 推論/証明 基本命題({atomic, primitive, basic} proposition)は内部構造をもたない(仮にあっても考…

モノイド圏の随伴性を“豊饒圏の圏”の随伴性に持ち上げる: 計画編

…しょうか? 随伴性をニョロニョロスタイルで書いてみましょう。関手の図式順結合と自然変換の横結合は*で書くことにして、ε::IdS→F*G:S→S を随伴の単位、η::G*F⇒IdV:V→V を随伴の余単位とします。([追記]ウギャッ、ε, ηの使い方が普通の習慣と逆でした。ηが単位、εが余単位のときが多いです。めんどうだから直さないけど。[/追記])このとき、ニョロニョロ関係式(snake relation)は次の2つの等式となります。(「;」は自然変換の図式順縦結合です。)…