2 Jun
1993
2 Jun
'93
12:12 a.m.
On John Baez's question: I don't know of any linearization of 2-categories, but the "category algebra" construction gives examples of what Barry Mitchell (old work! -- dare one say classical category theory?) called "algebroids". I don't know the reference, but someone else can certainly recall it. --David Yetter +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++