15 Dec
2008
15 Dec
'08
6:29 p.m.
After a number of requests, I have written up a proof that every biequivalence in Bicat is part of a biadjoint biequivalence. It can be found at the following address. http://gauss.math.yale.edu/~mg622/biadjdraft.pdf The result still holds in a general tricategory and I am in the process of writing up the full proof. Nick