複数の台〈underlying thing〉を持つような圏論的構造物を定義したり記述したりするための方法を準備します。内容： 1-ドクトリンと0-ドクトリン 番号付けの憂鬱 忘却関手と忘却階層グラフ パート抽出関手 加群 ≒ 表現 圏論化 1-ドクトリンと0-ドクトリン「…