20 Apr
2007
20 Apr
'07
7:33 a.m.
Dear all, The category of double categories DCat is monoidal, as shown by Bastiani-Ehresmann (cahiers vol 15 no. 3). Has work has been done on DCat-categories? For example, if we have two distinct notions of 2-arrow between 1- arrows, what 1-arrows can we call equivalent? Yours, ------------------------------------------------------------------------ -- David Roberts School of Mathematical Sciences University of Adelaide SA 5005 ------------------------------------------------------------------------ -- droberts@maths.adelaide.edu.au www.maths.adelaide.edu.au/~droberts www.trf.org.au