Забавно. Я быстро не нашёл этому объяснения, но отношения заказа и ревизии (а они всегда между разными квадрами) всегда направлены вот так: ...→α→β→γ→δ→α→... Это удобно при вычислении видов отношений между типами при помощи Тип1⊕Тип2, когда для асимметричных отношений направление нормально не посчитать.