Subject: categories: horizontal composition

From: Susan Niefield <[email-masked]>
Date: Fri, 27 Jan 2006 11:17:42 -0500 (EST)

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