* biadjoint biequivalence
@ 2008-08-19 15:54 John Baez
0 siblings, 0 replies; only message in thread
From: John Baez @ 2008-08-19 15:54 UTC (permalink / raw)
To: categories
Dear Categorists -
I know someone who needs to construct a "biadjoint biequivalence"
between bicategories, and is not relishing the task.
If somebody was trying to construct an adjoint equivalence between
categories, and was not relishing the task, I might suggest that they
construct an equivalence, and then use the theorem that any equivalence
can be improved to an adjoint equivalence.
Has someone proved that any biequivalence between bicategories
can be improved to a biadjoint biequivalence?
Best,
jb
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2008-08-19 15:54 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-08-19 15:54 biadjoint biequivalence John Baez
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).