Subject: Cauchy-completion of bicategory?

From: categories <[email-masked]>
Date: Mon, 15 Jan 1996 10:07:13 -0400 (AST)

Date: Mon, 15 Jan 1996 00:28:00 +0100 (MET)
From: [email-masked]

Hello,

Has the notion of Cauchy-completion of a bicategory been considered?
It looks to me that instead of looking at arbitrary idempotent 1-cells
f together with an isomorphism \alpha : ff ---> f one has to look at
those pairs <f,\alpha> where \alpha is associative.  Without this
requirement I seem to run into coherence problems.  

Any pointers to the literature would be welcome.  Thank you!

-- J"urgen Koslowski
   Institut f"ur theoretische Informatik
   TU Braunschweig
   Braunschweig, Germany