arXiv 2511.02425
A Compositional Account of Generalized Reversible Computing
By Clémence Chanavat and Priyaa Varshinee Srinivasan
Published 2025-11-04
Citation lineage
Review the prior work and downstream research connected to 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…