FP lunch 11 May
May 25th, 2007 by ThorstenWe had Bob Coecke from Oxford as a visitor. I used the lunch to introduce people to the concrete construction of a dagger compact closed category as a Kleisli category of a (generalized) monad, namely 
with
and to ask Bob some questions about this construction. In particular, I was interested in the relation to the “official” category of vector spaces. Rather surprisingly, Bob seems to prefer to work in this Kleisli category anyway, which identifies a space and its dual.