123 citations · 141 across the 16 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.CT2025
A Compositional Account of Generalized Reversible Computing
Clémence Chanavat, Priyaa Varshinee Srinivasan
We develop a compositional framework for generalized reversible computing using copy-discard categories and resource theories. We introduce partitioned matrices between partitioned…
math.CT2025
Dagger-Drazin Inverses
Robin Cockett, Jean-Simon Pacaud Lemay, Priyaa Varshinee Srinivasan
Drazin inverses are a special kind of generalized inverses that can be defined for endomorphisms in any category. A natural question to ask is whether one can somehow extend the no…