4 December 2001, 2:30 - 3:30

Physical realization of the traced monoidal category
of Finite dimensional vector spaces.
(Joint work with Samson Abramsky)

Abstract:
Exploiting the phenomenon of quantum entanglement (that will be explained)
we can operationally realize a setup that mimics the trace construction
for the category of finite dimensional vector spaces and as such, via the
geometry of interaction construction, the multiplicative fragment of
linear logic.
This also exhibits the operational difference between the traced monoidal
category of sets and partial functions (or relations) either with disjoint
union or cartesian product as tensor.