1 citations · 1 across the 5 of their papers we have counts for
8 papers
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…
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…
Categories of Kirchhoff relations
Robin Cockett, Amolak Ratan Kalra, Shiroman Prakash
It is known that the category of affine Lagrangian relations, AffLagRel_F, over a field, F, of integers modulo a prime p (with p > 2) is isomorphic to the category of stabilizer qu…
Latent Fibrations: Fibrations for Categories of Partial Maps
Robin Cockett, Geoff Cruttwell, Jonathan Gallagher +1
Latent fibrations are an adaptation, appropriate for categories of partial maps (as presented by restriction categories), of the usual notion of fibration. The paper initiates the…
Generalising the étale groupoid--complete pseudogroup correspondence
Robin Cockett, Richard Garner
We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between étale groupoids---which are topological groupoids whose source map is a local homeomorphis…
Compact inverse categories
Robin Cockett, Chris Heunen
The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inve…