レイヤーは次元kでインデックスされる。kが動く範囲を次元範囲〈dimension range〉と呼ぶ。次元範囲Dとすると、D⊆Z で、Dは区間の形をしている。D = x..y の形で書く。次元範囲に渡るレイヤーの集まりをタワーと呼ぶ。レイヤーは横方向のスライスだが、縦方…

n-セオリーの立場からは、次は、次元や具体的状況が違うだけで同義になる。 変数状態 値割り当て 評価環境 リテラル（定数）解釈 データベース状態 データベースインスタンス 代数セオリーのモデル＝代数 基本命題の真偽値割り当て なんらかの意味のモデルイ…

Title: On the Unicity of the Homotopy Theory of Higher Categories Autohrs: Clark Barwick, Christopher Schommer-Pries Pages: 45p URL: https://arxiv.org/abs/1112.0040 発表は2011年末（30 Nov 2011）だが、今年（7 Aug 2018）が最新版。最新版（v5…

通常の有向グラフとの対比 有向グラフ 一般箙 辺、アロー セル、ジェネレーター 辺集合 セル集合 パス コンポジット 連接 ペースティング 幾何グラフ 幾何実現 「ダイアグラム」は箙から圏への写像に意味でとっておきたいので、「コンポジット」とした。「コ…