164 citations · 274 across the 22 of their papers we have counts for
23 papers
Itegories
Robin Cockett, Jean-Simon Pacaud Lemay
An itegory is a restriction category with a Kleene wand. Cockett, D{\'ı}az-Bo{\"ı}ls, Gallagher, and Hrube{š} briefly introduced Kleene wands to capture iteration in restriction ca…
Moore-Penrose Dagger Categories
Robin Cockett, Jean-Simon Pacaud Lemay
The notion of a Moore-Penrose inverse (M-P inverse) was introduced by Moore in 1920 and rediscovered by Penrose in 1955. The M-P inverse of a complex matrix is a special type of in…
Classical Distributive Restriction Categories
Robin Cockett, Jean-Simon Pacaud Lemay
In the category of sets and partial functions, , while the disjoint union is the usual categorical coproduct, the Cartesian product becomes a restri…
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…