FP lunch 11 May

May 25th, 2007 by Thorsten

We 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 Q \in \mathrm{FinSet} \to \mathrm{Set} withQ X = X \to \mathbb{C} 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.

Leave a Reply