Abstract:
Temperley-Lieb algebras play a central role in the Jones
polynomial invariant of knots and related developments. They can
be understood categorically as freely generated pivotal
categories. We relate them to ideas in logic, computation and
categorical quantum mechanics. In particular, we use the connections
to Geometry of Interaction to give a `fully abstract' (no quotients)
presentation of the Temperley-Lieb category.