coherence 与合流

范畴论中 coherence 的证明，从 Mac Lane 关于幺半范畴 coherence 的原始证明开始，有时基于类似于在 lambda 演算或一般项重写系统中看到的合流技术。这适用于断言一个范畴是预序（即“所有图表都交换”）的 coherence 结果。本注记关于这种类比，特别关注所证 coherence 的范畴不是群oid的情况。