一貫性関係は用語が安定してなくて困る。レインンスター〈Tom Leinster〉の"Higher Operads, Higher Categories"での言い方。 一貫性定理と厳密化定理をあまり区別しない。同値な定理だから。 結合律子、単位律子を "coherence isomorphism" と呼んでいる。W…