123 citations · 141 across the 16 of their papers we have counts for
10 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…
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…
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…
Dagger linear logic and categorical quantum mechanics
Priyaa Varshinee Srinivasan
This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM).…
Normalizing Resistor Networks
Robin Cockett, Amolak Ratan Kalra, Priyaa Varshinee Srinivasan
Star to mesh transformations are well-known in electrical engineering, and are reminiscent of local complementation for graph states in qudit stabilizer quantum mechanics. This pap…
Exponential Modalities and Complementarity (extended abstract)
Robin Cockett, Priyaa Varshinee Srinivasan
The exponential modalities of linear logic have been used by various authors to model infinite-dimensional quantum systems. This paper explains how these modalities can also give r…
Complete Positivity for Mixed Unitary Categories
Robin Cockett, Priyaa Varshinee Srinivasan
Coecke and Heunen described completely positive maps in dagger monoidal categories and the {\sf CP}-infinity construction on these categories in order to construct a category of ar…
Dagger linear logic for categorical quantum mechanics
Robin Cockett, Cole Comfort, Priyaa Srinivasan
Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate re…