123 citations · 141 across the 16 of their papers we have counts for
4 papers · 1 filter
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…