Wikipedia にある程度従うことにして：
- {一貫性の}?基本射〈elementary morphisms〉： 注目する生成射。
- 一貫性〈coherence〉： "various compositions of elementary morphisms are equal." であること。圏が持つそういう性質が一貫性。「一貫性{を持つ | を満たす | が成立する}」と表現する。
- {一貫性条件 | 一貫性制約} ： 一貫性を保証する条件（少数の等式）。
- 一貫性定理： 「一貫性条件が満たされるなら、一貫性が満たされる」という形の定理。
- 一貫性要求： 一貫性定理が成立することを、公理として要求すること。
諸悪の根源は「一貫性公理」で、一貫性条件か一貫性要求か不明！ 一貫性条件だけでは一貫性は成立しない。一貫性条件＋一貫性定理で、圏の一貫性が結論できる。一貫性定理公理に位置付けたのが一貫性要求。「一貫性公理」は避けて、一貫性要求公理と言えばよいし、それが安全。
