9 Jan
2003
9 Jan
'03
4:03 a.m.
Dear Categorists - Who first constructed internal categories, internal functors and internal natural transformations in a given category, and actually proved that these form a *2-category*? I'm looking for a reference. Best, jb