2018-09-28 箙＝コンピュータッドの定義 高次圏論 セオリー論 通常の有向グラフとの対比 有向グラフ 一般箙 辺、アロー セル、ジェネレーター 辺集合 セル集合 パス コンポジット 連接 ペースティング 幾何グラフ 幾何実現 「ダイアグラム」は箙から圏への写像に意味でとっておきたいので、「コンポジット」とした。「コンポジット」も使うが、「n-パス」を標準的な言葉として使う。n-ダイアグラムは、n-箙から圏Cへの箙準同型写像の意味とする。箙の自由圏が、厳密で骨皮なことを示す必要がある。 Xn -- n-セルの集合 X[k] -- 次元kで切り落とした箙 Freen(X) -- 箙Xの自由n-圏 sk, tk:Xk+1→Freek(X[k])
