1 citations · 1 across the 5 of their papers we have counts for
3 papers · 1 filter
Localizing Restriction Categories
Robin Cockett
The localizing/separating factorization, which is the analogue, for restriction categories, to the surjective/embedding factorization for topoi, is developed at both the mere restr…
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…
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…