29 Nov
2001
29 Nov
'01
11:03 p.m.
The walking adjunction is much older than the 1986 paper by Schanuel and Street. Back in 1970, Pumpl\"un published a paper: Eine Bemerkung \"uber Monaden und adjungierte Funktoren, Math. Annalen 185 (1970), 329-377. The small bicategory "walking adjunction" definitely was in that paper, but I don't recall whether it was explicitly formulated or not.