30 Nov
2001
30 Nov
'01
10:55 a.m.
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". "walking ____" on the other hand is of course entirely transparent and aptly descriptive.