5 papers · 1 filter
Unitary, Inner product, and Dagger categories
Robin Cockett, Durgesh Kumar, Priyaa Varshinee Srinivasan
This article provides an alternate characterization of dagger categories, which are central to the study of categorical quantum mechanics, in terms of inner product categories. An…
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…
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…
Drazin Inverses in Categories
Robin Cockett, Jean-Simon Pacaud Lemay, Priyaa Varshinee Srinivasan
Drazin inverses are a fundamental algebraic structure which have been extensively deployed in semigroup theory, ring theory, and matrix theory. Drazin inverses can also be defined…
What kind of linearly distributive category do polynomial functors form?
David I. Spivak, Priyaa Varshinee Srinivasan
This paper has two purposes. The first is to extend the theory of linearly distributive categories by considering the structures that emerge in a special case: the normal duoidal c…