coherence nLab

• https://ncatlab.org/nlab/show/coherence+law
• https://ncatlab.org/nlab/show/coherence+theorem+for+monoidal+categories
• https://ncatlab.org/nlab/show/coherence+theorem
• https://ncatlab.org/nlab/show/coherence+theorem#ListOfTheorems
• https://ncatlab.org/nlab/show/coherence+theorem+for+monoidal+categories

他に、

• https://en.wikipedia.org/wiki/Coherence_condition

elementary morphism という言葉を使っている。"various compositions of elementary morphisms are equal." であることが一貫性〈coherence〉。一貫性を保証する条件（少数の等式）が一貫性条件。実際に少数の一貫性条件から一貫性が出ることを述べる定理が一貫性定理かな。

• 律子 ＝ elementary morphism ＝ 律射
• 律制約 ＝ 一貫性制約 ＝ 一貫性条件
• 一貫性定理： 一貫性制約が満たされれば、一貫性が成立する。