Diagrams

Complete equational theories for classical and quantum Gaussian relations

R I Booth, T Carette, C Comfort

quantum teleportation — CV teleportation:

equations for vacuum state — Equations for vacuum state:

representation of Gaussian states — Representation of Gaussian states:

map of Gaussian relations — Map of Gaussian relations:

Graphical Symplectic Algebra

R I Booth, T Carette, C Comfort

graph state — Scalable spiders:

normal form for Lagrangian relations — Normal form:

Sheet diagrams for bimonoidal categories

C Comfort, A Delpeuch, J Hedges

whiskering sheet diagrams — Normalization:

A Graphical Calculus for Lagrangian Relations

C Comfort, A Kissinger

Condition for a linear relation to be Lagrangian

The ZX&-calculus: A complete graphical calculus for classical circuits using spiders

C Comfort

Calculation to prove cartesian completion of discrete inverse category is counital completion

Coend optics for quantum combs

J Hefford, C Comfort (order of authorship changed to non-alphabetical without my knowledge upon submission)

supermap

Dagger linear logic for categorical quantum mechanics

JRB Cockett, C Comfort, P Srinivasan

One of the nastiest coherences I have ever had to prove

The category TOF

JRB Cockett, C Comfort

The category CNOT

JRB Cockett, C Comfort, P Srinivasan