Coherence in Category Theory and the Church-Rosser
Property
C. Barry Jay
Abstract: Szabo's derivation systems on sequent calculi
with exchange and product are not Church-Rosser. Thus his coherence
results for categories having a symmetric product (either monoidal
or cartesian) are false.