Interchange law

In mathematics, specifically category theory, the interchange law (or exchange law) regards the relationship between vertical and horizontal compositions of natural transformations.

Discussion

Let $𝐅, 𝐆, 𝐇 : ℂ ⟶ 𝔻$ and $\bar{𝐅}, \bar{𝐆}, \bar{𝐇} : 𝔻 ⟶ 𝔼$ where $𝐅, 𝐆, 𝐇, \bar{𝐅}, \bar{𝐆}, \bar{𝐇}$ are functors and $ℂ, 𝔻, 𝔼$ are categories. Also, let $𝜶 : 𝐅 ⟶ 𝐆$ and $𝜷 : 𝐆 ⟶ 𝐇$ while $\bar{𝜶} : \bar{𝐅} ⟶ \bar{𝐆}$ and $\bar{𝜷} : \bar{𝐆} ⟶ \bar{𝐇}$ where $𝜶, 𝜷, \bar{𝜶}, \bar{𝜷}$ are natural transformations. For simplicity's and this article's sake, let $\bar{𝜶}$ and $\bar{𝜷}$ be the "secondary" natural transformations and $𝜶$ and $𝜷$ the "primary" natural transformations. Given the previously mentioned, we have the interchange law, which says that the horizontal composition ( $\circ$ ) of the primary vertical composition ( $∙$ ) and the secondary vertical composition ( $∙$ ) is equal to the vertical composition ( $∙$ ) of each secondary-after-primary horizontal composition ( $\circ$ ); in short, $(\bar{𝜷} ∙ \bar{𝜶}) \circ (𝜷 ∙ 𝜶) = (\bar{𝜷} \circ 𝜷) ∙ (\bar{𝜶} \circ 𝜶)$ . It also appears in monoidal categories wherein classical composition ( $\circ$ ) and the tensor product ( $\otimes$ ) take their places in lieu of the horizontal composition and vertical composition partnership and is denoted $(g \circ f) \otimes (j \circ h) = (g \otimes j) \circ (f \otimes h)$ .

The word "interchange" stems from the observation that the compositions and natural transformations on one side are switched or "interchanged" in comparison to the other side. The entire relationship can be shown within the following diagram.

If we apply this context to functor categories, and observe natural transformations $𝜶 : 𝐅 ⟶ 𝐆$ and $𝜷 : 𝐆 ⟶ 𝐇$ within a category $V$ and $\bar{𝜶} : \bar{𝐅} ⟶ \bar{𝐆}$ and $\bar{𝜷} : \bar{𝐆} ⟶ \bar{𝐇}$ within a category $W$ , we can imagine a functor $Γ : V ⟶ W$ , such that

the natural transformations are mapped like such:

$Γ (𝜶) ⟶ \bar{𝜶},$
$Γ (𝜷) ⟶ \bar{𝜷},$
and $Γ (𝜷 ∙ 𝜶) ⟶ (\bar{𝜷} ∙ \bar{𝜶})$ ;

functors are also mapped accordingly:

$Γ (𝐅) ⟶ (\bar{𝐅}),$
$Γ (𝐆) ⟶ (\bar{𝐆}),$
and $Γ (𝐇) ⟶ (\bar{𝐇})$ .

Examples

Let $σ^{'} \circ σ$ be the matrix product of matrices $σ^{'}, σ$ and $τ \cdot σ$ the matrix given by

[\begin{matrix} τ \\ σ \end{matrix}]

. Then the pair

\circ, \cdot

satisfies the interchange law.

Let $G$ be a toplogical groups and for loops $α, β$ on $G$ , let $β \circ α$ be the concatenation of two loops and $β \cdot α$ the pointwise product; i.e., $(β \cdot α) (t) = β (t) α (t)$ . Then the interchange law holds for $\circ, \cdot$ .

The Eckmann–Hilton argument states the following surprising fact: let $S$ be a set and suppose it is a monoid in two ways: there are two binary operations $*, \cdot$ . If the two identities $e_{\cdot} = e_{*}$ are the same and if the interchange law holds for $*, \cdot$ , then $\cdot = *$ and the common operation is commutative.

Notes

↑ "exchange law in nLab". ncatlab.org. Retrieved 2025-05-27.
1 2 Mac Lane 1978, Ch. II., § 5.
↑ "commutative monoidal category in nLab". ncatlab.org. Retrieved 2025-05-27.
↑ Mac Lane 1978, Ch. II., § 5., Exercise 4.
↑ Mac Lane 1978, Ch. II., § 5., Exercise 5.

References

Mac Lane, Saunders (1978). Categories for the Working Mathematician. Graduate Texts in Mathematics (2nd ed.). New York: Springer Science+Business Media. p. 43. ISBN 978-1-4419-3123-8.

[1] "exchange law in nLab". ncatlab.org. Retrieved 2025-05-27.

[:0-2] 1 2 Mac Lane 1978, Ch. II., § 5.

[3] "commutative monoidal category in nLab". ncatlab.org. Retrieved 2025-05-27.

[4] Mac Lane 1978, Ch. II., § 5., Exercise 4.

[5] Mac Lane 1978, Ch. II., § 5., Exercise 5.