27 Jan
2006
27 Jan
'06
4:17 p.m.
Does anyone know of a reference for the following definition of a bicategory? The primitive composites are: gf for composable 1-cells GF for vertically composable 2-cells f*G and F*g for horizontally composable pairs of each with appropriate axioms including (G*f')(g*F)=(g'*F)(G*f), for F:f->f':X->Y and G:g->g':Y->Z. The horizontal composite G*F is defined to be the common value of the two vertical composites. -Susan