Coherence in Category Theory and the Church-Rosser Property
C. Barry JayAbstract: 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.
Previous | Index | Next