A diagram of a Category where the composition of the arrows along any two paths between a fixed pair of objects produces the same arrow.