コンテキストと指標は、構文的には区別できないのだが、次の違いがある。
- 指標はインスティチューション的な意味での指標である。
- 指標のあいだの射は指標射で、モデル圏のあいだのリダクト関手を定義する。
- コンテキストは、固定した指標に対する構文的圏の対象となる。射は判断／多判断。
- 指標に対する構文的圏は多圏として定義するのがよい。
- 指標圏の射である指標射と、構文多圏の射である多判断はとても区別しにくい。
- 同様に、指標に対する演算と、コンテキストに対する演算も区別しにくい。
- 通常我々は、変数宣言、指標（定数宣言）、定義が混じった混合コンテキストを使っている。
