内容： 代数的定義形式 代数的定義形式の同義語群 アンビエント 定義形式のアンカリング 単位対象と格上げ 値k-射と定義形式の格上げ モデルとモデルの圏 TBD：ローヴェル・フレームワーク TBD：族と抽象と脱抽象 代数的定義形式n-圏と関連する圏論的実体〈c…

0≦k≦n に対して、(n, k)-シングルトン圏と呼べるn-圏がある。 (n, 0)-シングルトン圏は、ただ1つの対象〈0-射〉を持ち、すべての射が恒等射（自明射）であるn-圏。 (n, k)-シングルトン圏は、ただ1つの非自明なk-射を持ち、それ以外のすべての射が恒等射（自…