arXiv 2511.02425
A Compositional Account of Generalized Reversible Computing
By Clémence Chanavat and Priyaa Varshinee Srinivasan
Published 2025-11-04
Discussion
Read the public discussion and references gathered around this paper.
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…