Identities in modular arithmetic from reversible coherence operations

Peter Hines

This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorica…