スケマティック系のハブ記事

この記事には内容的な記述はありません。スケマティック系関連の記事へのリンク集となります。スケマティック系の概略と目的は、「スケマティック系のために： 雑多な予備知識 // 絵図的手法とスケマティック系」に書いています。

スケマティック系

1. スケマティック圏： お絵描きできる場所
2. 絵図的手法： 中間整理
3. 回路代数とグラフ置換モナド
4. 「代数」への三種のアプローチと回路代数
5. スケマティック系のために： 雑多な予備知識
6. スケマティック系とその回路代数のネーミング
7. 貼り合わせ代数
8. 有限コレクションとスケマティックなシステム記述
9. スケマティック系の振り返りと整理

半グラフ

1. 半グラフの様々な定義
2. サークルを持つ半グラフ
3. テンソルの可視化のための半グラフ
4. 型付き半グラフと指標
5. 半グラフからシステムの記述へ
6. 入れ子の半グラフとバエズ／ドーラン・ツリー
7. 不動点なし対合のオペラッド結合
8. ワイヤリング図とケリー／マックレーン・グラフ
9. コステロの半グラフ圏によるシステム記述
10. コステロの半グラフ圏から二重関手意味論へ
11. 開放ツリー： 半グラフ・ベースのツリー
12. 半グラフの二重圏と半グラフ変形
13. 半グラフ変形とDead-Or-Alive構造
14. 半グラフのあいだのエタール射
15. 半グラフに関わる諸概念
16. 幾何半グラフの組み合わせ的表現（新方式）
17. 強化ファインマン・グラフとバタニン／バーガー半グラフ
18. プッシュアウトによる半グラフ接合の定義
19. メタ計算メカニズムとしての半グラフ変形
20. 属性付き半グラフ
21. ボリソフ／マニン半グラフと半グラフ変形の形式的定義
22. ボリソフ／マニン半グラフの圏： ハマったところ

バエズ／ドーラン・ツリー

1. 入れ子の半グラフとバエズ／ドーラン・ツリー
2. バエズ／ドーラン植物
3. バエズ／ドーラン・ツリー： 色々な描画法
4. 穴、スポット、エリア、シーム
5. バエズ／ドーラン・ツリー： 幾何的な定式化
6. バエズ／ドーラン茂みの対称モノイド亜群
7. バエズ／ドーラン茂みとリントン／ローヴェア・モナド
8. バエズ／ドーラン曲面の意義と使い方

オペラッド〈複圏〉

1. 演繹系とオペラッド
2. 不動点なし対合のオペラッド結合
3. オペラッドの話
4. 複余有向コンテナ〈オペラッドコンテナ〉によるオペラッドの定義

有限コレクション

1. コレクション、対称性、シーケンス、色付け
2. コレクション改めクラスターの圏
3. 有限コレクション： 再配置の圏から
4. コレクション関手の新しい定義
5. 有限コレクションとスケマティックなシステム記述

スピシーズ

1. 抽象テンソルシステムは縮約付き色彩的モノイド・スピシーズ
2. 色彩的抽象テンソルシステムと圏類似代数系
3. 圏スタンピング・モナドの代数は前層／余前層
4. キッシンジャーの抽象テンソル系 再論

複グラフ

1. 亜群上の豊穣複グラフ： 豊穣化・基礎強化の例
2. 複グラフが定義するモノイド多項式関手
3. 複余有向コンテナ〈オペラッドコンテナ〉によるオペラッドの定義
4. モノイド圏から作る複圏と多圏
5. 依存性を持つ複グラフ
6. 一般化反射的グラフ
7. 一般化ハイパーグラフ
8. 一般化ハイパーグラフ 再論
9. 一般化ハイパーグラフ → P-バンドル、P-ファミリー
10. モナドの靴を履いたスパンとファミリー、そして二重圏
11. ベックの分配法則に基づく“一般化圏の製造工場”

その他

1. Diag構成： 圏論的構成法の包括的フレームワークとして
2. 圏の骨格の扱い方： 線形代数を例として
3. 左加群は前層、右加群は余前層、双加群はプロ関手
4. Diag構成の変種とその書き方
5. ローヴェア・セオリーとその周辺
6. 亜群をベースとする圏類似構造： コステロの事例
7. スケマティック

昔の記事

1. 再考： クリーネスター・圏論・計算の離散力学
2. 単純平面タングルとカウフマン図のキャンバス・基準点について
3. 平面タングル、空間タングル、ブレイドなんかが“もつれた”話
4. モノイド圏上のテンプレート・オペラッド：具体例とソフトウェア的解釈
5. オペラッドと型付きラムダ計算
6. 述語論理： 様々な多圏達の分類整理