Date: Mon, 15 Jan 1996 10:07:04 -0400 (AST)
Subject: Cauchy-completion of bicategory?

Date: Mon, 15 Jan 1996 00:28:00 +0100 (MET)
From: koslowj@iti.cs.tu-bs.de

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