* Re: biadjoint biequivalences
@ 2008-08-20 12:09 David Roberts
0 siblings, 0 replies; only message in thread
From: David Roberts @ 2008-08-20 12:09 UTC (permalink / raw)
To: categories
Hi all,
Tom Fiore wrote:
> Theorem. 9.17
> Let X and A be strict 2-categories, and G:A -> X a pseudo functor. There
> exists a left biadjoint for G if and only if for every object x of X there
> exists an object r of A and a biuniversal arrow x -> Gr from x to G.
Of course this begs the obvious question, how hard is this to generalise to
bicategories?
I'm surprised no-one has mentioned Gurksi's thesis, which I just came across.
Appendix A has details of adjunctions in bicategories, and biadjunctions in
tricategories, citing Verity's thesis in the case of Gray-categories.
Best,
David
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2008-08-20 12:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-08-20 12:09 biadjoint biequivalences David Roberts
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).