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

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

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

参照用 記事

ファイバーの計算 基本概念

バタニン/マークル〈Michael Batanin, Martin Markl〉のオペラディック圏は、オペラッドを定義するための道具ですが、“ファイバーの計算”を抽象化したものだともみなせます。この記事では、抽象化する前の具象的な“ファイバーの計算”、つまり集合圏の部分圏…

スライス圏の大域的な定義: スラッシュ記号の解釈

圏 $`\mathcal{C}`$ とその対象 $`c`$ に対して、スライス圏〈オーバー圏〉$`\mathcal{C}/c`$ を定義できます。このとき使われるスラッシュは、二項演算子記号のように見えます。そうだとすると、スラッシュの実体(セマンティクス)である演算とはどのよう…

命題と判断

久々に論理の話をします。論理とはいっても、形式化された論理〈formal logic〉の話ではなくて、“ちゃんと考えるための技法”といった意味の論理です。「命題と判断は区別しましょう」が僕がこの記事で言いたいことです。$`\newcommand{\Holds}{ \mathrel{|\!…

変換手n-圏のブラケット記法

n-圏達を対象とする(n + 1)-圏を $`n{\bf Cat}`$ と書きます。特に、$`{\bf Cat} = 1{\bf Cat}`$ です。$`{\bf Cat}`$ は、1-圏達を対象とする(1 + 1)-圏です。また、$`{\bf Set} = 0{\bf Cat}`$ です。$`{\bf Set}`$ は、0-圏達を対象とする(0 + 1)-圏です…

双遷移系のテンソル積

「双遷移系達の3次元の圏」で述べた3次元の圏類似代数系のプロ射(プロ方向の1-射)は双遷移系です。プロ射のプロ方向への結合は、双遷移系のテンソル積で与えられます。この記事で、双遷移系のテンソル積を定義します。$`\newcommand{\mrm}[1]{ \mathrm{#1}…

双遷移系達の3次元の圏

「丹原プロ関手の二重圏、いやっ三重圏?」において、とある3次元の圏が存在しそうだ、と述べました。しかし、その3次元の圏の構成はかなり手間がかかる作業です。設定を単純化して、手間を減らしましょう。「丹原プロ関手の二重圏、いやっ三重圏?」で「モ…

丹原プロ関手の二重圏、いやっ三重圏?

「ヒューズ・アローと丹原プロ関手」では早とちりをやらかしてしまいました。丹原プロ関手を2-射〈二重射〉とする二重圏の(特別な形の)モノイドがヒューズ・アローになるかと思ったんですが、それは違うようです(追記の節「追記: 誤認と間違い」参照)。…

ヒューズ・アローと丹原プロ関手

最近のマイブームは二重圏です(「二重圏、縦横をもう一度」参照)。既存の概念を二重圏ベースで再考してみるとちょっと楽しいです。アローは、ジョン・ヒューズ〈John Hughes〉が考案した関数プログラミングの道具・手法です。ヒューズのアローを二重圏ベー…

2-圏からのクインテット構成で二重圏

二重圏に関する用語は、「二重圏、縦横をもう一度」を見てください。2-圏の図式順演算子記号は次のようにします。 1-射の結合と2-射の横結合 : $`*`$(アスタリスク) 2-射の縦結合 : $`;`$(セミコロン) 1-射と2-射のヒゲ結合〈whiskering〉: $`*`$(ア…

自然変換は関手

「関手は自然変換」という記事で、関手の射パートが自然変換になることを指摘しました。この記事では、自然変換が関手として解釈可能なことを説明します。自然変換が関手であることを、アロー構成〈Arr構成〉に関する“とある公式”の特別なケースと位置付けま…

1-圏でもフレーム充填問題、因子分解と比較子

「圏論におけるフレーム充填問題」で、二重圏や2-圏におけるフレーム充填問題の事例を挙げました。1-圏、つまり通常の圏でもフレーム充填問題とその解を考えることができます。通常の圏における重要な概念も、フレーム充填問題の“最良の解”として定義できま…

添加仮想二重圏の2-射の形状

最近の記事「添加仮想二重圏」で、添加仮想二重圏〈augmented virtual double category〉を定義しました。添加仮想二重圏の2-射の形状をこの記事でまとめておきます。2-射のソースとターゲットは、プロ射のパスです。ただし、ターゲットのパスは長さ1以下で…

圏論におけるフレーム充填問題

「添加仮想二重圏」において、「フレーム」という言葉を出しました。フレームは、2-射(2次元の射)の境界のことです。境界は幾つかの1-射達/0-射達の組み合わせです。境界全体ではなくて、境界の一部分のことも「フレーム」と呼ぶことにすると、与えられた…

添加仮想二重圏

二重圏の拡張である仮想二重圏〈virtual double category〉、添加仮想二重圏〈augmented virtual double category〉に興味がわいて、次の2つの論文をポチポチと拾い読みしています。 [Kou19-22] Title: Augmented virtual double categories Author: Seerp R…

カン拡張と充填三角形 補遺

「カン拡張/カン持ち上げと上ホム対象/下ホム対象、充填三角形」への補遺です。内容: ペースティング図の充填問題 ストリング図で描くと ペースティング図の充填問題以下は「カン拡張/カン持ち上げと上ホム対象/下ホム対象、充填三角形」で出した右カン…

カン拡張/カン持ち上げと上ホム対象/下ホム対象、充填三角形

レナート・ベッチ/ロバート・ウォルターズ〈Renato Betti, Robert F.C. Walters〉のとある論文を眺めていて、カン拡張/カン持ち上げの記述で戸惑ってしまいました。右カン持ち上げだと記されていたペースティング図が間違っていて左カン持ち上げになってい…

二重圏、まだ残っていた左右の問題

以下の2つの記事で、二重圏の縦横、上下左右の問題を述べました。 二重圏、縦横をもう一度 二重圏の縦横 補遺 二重圏のタイト射 $`f`$ に対して、その分身であるようなプロ射が対応することがあります。それを、$`f`$ の同伴〈コンパニオン | companion〉と…

順序ブリッジ: お金で計れないものをお金で計ると

プロ関手の説明として、「関手 : プロ関手 = 関数 : 関係」という“比例式”がしばしば引き合いに出されます。一方で、「圏 : 関手 = 順序集合 : 単調関数」という“比例式”もあります。これらの比例式達を合わせると: 圏 : 関手 : プロ関手 = 順序集…

二重圏の縦横 補遺

「二重圏、縦横をもう一度」において言い忘れたことがあります。ペースティング図/ストリング図の射の並びや結合をテキストに書き出すときの順番のことです。これも人により場合によりバラバラです。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In…

二重圏、縦横をもう一度

ここ2,3年「二重圏がきてる」印象があります。応用圏論を牽引している一人であるイバン・パターソン〈Evan Patterson〉は今年の1月、トポス・インスティチュートのブログ記事に次のように書いています。 Lately I’ve been fixated on double categories, pur…

圏から作る有向コンテナ/余有向コンテナの記法

「集合・関数係数行列の2-圏、モナドも添えて」において、「アスタリスクで総和をとり、ハイフンでラムダ抽象〈関数抽象〉をする」記法を導入しました。これ、なかなかに使いやすいですね。この記法を他の場面でも使いたくなりました。「複余有向コンテナ〈…

集合・関数係数行列の2-圏、モナドも添えて

過去ニ回の記事で、集合係数のベクトル・行列について述べました。 スパンとファイバー積と行列計算 集合係数のスカラー・ベクトル・行列・テンソル 二番目の記事では、集合係数の行列の一般化として集合係数のテンソルを定義しました。この記事では、別な方…

集合係数のスカラー・ベクトル・行列・テンソル

「スパンとファイバー積と行列計算」で、スパンは集合係数の行列であり、スパンの結合〈composition〉が行列の掛け算として計算できることを紹介しました。線形代数でよく知られた計算は、集合係数でもだいたい実行できます。$`\newcommand{\mrm}[1]{ \mathr…

スパンとファイバー積と行列計算

集合圏内のスパンに対して、標準的なファイバー積を使ってスパンの結合〈composition | 合成〉を定義できます。その結合は、行列の掛け算で表示・計算できます。$`\newcommand{\NFProd}[3]{ \mathop{_{#1} \!\underset{#2}{\times}\,\!_{#3} } } \newcommand…

多項式関手圏のΠΣ公式

多項式関手圏とは、多項式関手を対象として、そのあいだの自然変換を射とする圏です。関手圏 $`[{\bf Set}, {\bf Set}]`$ の部分圏になります。多項式関手圏のホムセットを具体的に表示する公式がΠΣ公式とΣΠ公式です。この記事ではΠΣ公式について述べます。…

2階インデックス付き圏と反ラックス余錐

14年近く前の記事「インデックス付き圏のインデックス付き圏」において、インデックス付き圏達が形成する圏が再びインデックス付き圏の構造を持つことを書いています。しかし、インデックス付き圏達のインデックス付き圏へのインデックス付き圏をハッキリと…

弱分割関係は関数の転置

この記事内では圏論の概念・用語は使ってませんが、背景は圏論的です。-- 関数は関係の特別なものとみなせます。単葉で全域的な関係が関数です。この特徴付けは、圏論的には「関数は、関係の2-圏の左随伴1-射」と言えるのでした(「左随伴関係は関数」参照)…

ホム関手は極限を保存する

タイトルは、nLab項目 hom-functor preserves limits そのままです。nLab と同じ内容(の一部)をこの記事で説明します。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newcommand{\msc}[1]{ \mathscr{#1} } \newcommand{\dimU}[2]…

左随伴関係は関数

「左随伴関手は左カン拡張を保存する」で、左随伴関手が左カン拡張とうまく協調することを述べました。一般に、左随伴関手や右随伴関手は良い性質を持ちます。この記事では、お馴染みで簡単な2-圏である関係の2-圏 $`{\bf Rel}`$ において左随伴関手相当の1-…

関手は自然変換

ちょっとわけわからんタイトルです。もう少し正確に言うと、「関手の射パートは自然変換」です。$`\mathcal{C}, \mathcal{D}`$ を圏とします。双関手〈二項関手〉としてのホムセットを次の形に書きます。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{…