123 citations · 141 across the 16 of their papers we have counts for
16 papers
Categorical Message Passing Language (CaMPL): Syntax and Semantics
Robin Cockett, Daniel Kiyoshi Hashimoto, Alexanna Little Berg +1
We introduce a novel functional-style concurrent programming language called Categorical Message Passing Language (CaMPL) which is designed using the mathematics of linear actegori…
Categorical Message Passing Language (CaMPL) for programmers
Daniel Kiyoshi Hashimoto, Alexanna Little Berg, Priyaa Varshinee Srinivasan
Categorical Message Passing Language (CaMPL) is a functional-style concurrent programming language whose semantics is in category theory, more specifically, linear actegories. Its…
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…
Generalized Inverses of Quantum Channels: a categorical perspective
Robin Cockett, Jean-Simon Pacaud Lemay, Priyaa Varshinee Srinivasan
A quantum channel is defined as being completely positive (CP) and trace preserving (TP). While not every quantum channel is invertible or reversible, every quantum channel admits…
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…
Extending Resource Monotones using Kan Extensions
Robin Cockett, Isabelle Jianing Geng, Carlo Maria Scandolo +1
In this paper we generalize the framework proposed by Gour and Tomamichel regarding extensions of monotones for resource theories. A monotone for a resource theory assigns a real n…
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…
The Category CNOT
Robin Cockett, Cole Comfort, Priyaa Srinivasan
We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillae. We prove that…
On the robustness of bucket brigade quantum RAM
Srinivasan Arunachalam, Vlad Gheorghiu, Tomas Jochym-O'Connor +2
We study the robustness of the bucket brigade quantum random access memory model introduced by Giovannetti, Lloyd, and Maccone [Phys. Rev. Lett. 100, 160501 (2008)]. Due to a resul…