Nottingham FP Lab Blog

FP lunch 11 May

by Thorsten on May 25, 2007.
Tagged as: Lunches.

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}$ with $Q 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.