A double category consists, in particular, of two categories , with the same class of objects . The 1-morphisms of are called the horizontal morphisms, those of are called the vertical morphisms of the double category.
A 2-morphism in the double category is of the form