7 Dec
2010
7 Dec
'10
11:59 p.m.
Dear all, Is there a standard reference for what could be called a double-2-category, by which I mean a double category where the categories of horizontal and vertical arrows are 2-categories ? It would be a special case of a "triple category", I guess, where there are objects, arrows in three directions, cells for each distinct pair of the directions, and cubes surrounded by cells. Many thanks, Ondrej [For admin and other information see: http://www.mta.ca/~cat-dist/ ]