2 Dec
2001
2 Dec
'01
9:49 p.m.
James Dolan writes:
are you sure everyone will be happy with the name "biadjunction" for the thing that you're talking about? i'm just vaguely wondering whether it might unintentionally evoke ideas about "bicategories".
Oops! I guess I fell into this trap. If biadjunction doesn't mean bicategorical adjunction what does it mean? (I mentioned the free-living pseudoadjunction since I thought it did.) Steve.