記法を今までと変える。 スキーマは斜体ではなくて普通書体とする。 スキーマの対象は小文字 a, b, cなど。 スキーマの射は小文字 u, v, wなど。 スキーマ射はf, g など。 モデルインスタンスはF, Gなど。 ドクトリンは斜体 D など。 S, Tがスキーマ、FがT上…