We can then "compose" these "bimorphisms" both horizontally and vertically, and we require a 2-dimensional "exchange law" to hold, relating the two composition laws.
Μπορούμε έπειτα «να συνθέσουμε» αυτούς τους «ομομορφισμούς» και οριζόντια και κάθετα, και απαιτούμε έναν 2-διαστατικό «νόμο ανταλλαγής » για να το διατηρήσουμε, αφορώντας τους δύο νόμους σύνθεσης.