arXiv 2511.02425
A Compositional Account of Generalized Reversible Computing
By Clémence Chanavat and Priyaa Varshinee Srinivasan
Published 2025-11-04
Wiki summary
Explore the paper's summary, context, and related research on Papiers.
We develop a compositional framework for generalized reversible computing using copy-discard categories and resource theories. We introduce partitioned matrices between partitioned sets as subdistribution matrices which preserve the equivalence relation of its domain. We model computational and physical transformations as subdistribution matrices over the category of sets and partitioned matrices on partitioned sets…