(n, k)→(m, l)-コンストラクタ F とは： C はn-圏、|C|_k は C のk-射の集合 D はm-圏、|D|_l は D のl-射の集合 F: |C|_k ⊇→ |D|_l が、CからDへの(n, k)→(m, l)-コンストラクタ 部分写像でないときはフルコンストラクタ 例： (0, 0)→(0, 0)-コンストラクタ…

コンステレーションの図示にいおて、1次元キャンバスの場合も2次元に描く習慣があるのか？ -- これは混乱のもとだな、良くない。 1次元穴あきキャンバス： 区間に穴が開いている。穴は幅0でも有限幅でもいい。穴の境界にプロファイル情報が載るが、それは A …