Re: bimodules in a biclosed category

Hello, Regarding Michael Barr's question: I have this result for bi-closed bicategories, and actually talked about it in Halifax last year. Als Micheal rightly suspects, some of the proofs get tedious, and designing the relevant diagrams is something else, even using xy-pic! I hope that the paper will be finished by March. Best regards, -- J"urgen Koslowski Institut f"ur theoretische Informatik TU Braunschweig Braunschweig, Germany