164 citations · 274 across the 22 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.CT2017★ 22 cited
Integral Categories and Calculus Categories
J. R. B. Cockett, JS Lemay
Differential categories are now an established abstract setting for differentiation. However not much attention has been given to the process which is inverse to differentiation: i…
cs.LO2017★ 7 cited
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…