1 Jun
1993
1 Jun
'93
2:12 p.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 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++