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.
Previous | Index | Next An error occured whilst processing this directive