Coherence in Category Theory and the Church-Rosser Property

Abstract
Author CBJ

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.