8
$\begingroup$

Does anyone know the rationale behind the name of "commutative diagrams"? To be precise, what is(are) the reason(s) for calling those diagrams "commutative" and in what sense?

I have previously asked the question here and one can see the discussion that followed.

Improve this question
$\endgroup$
6
  • 16
    $\begingroup$ My own guess is that it's a back formation from "commutative square", where "horizontal" commutes with "vertical" (i.e., there is an equality relation between the only sensible ways of interpreting "vertical $\circ$ horizontal" and "horizontal $\circ$ vertical"). $\endgroup$
    – Todd Trimble
    Commented Sep 4, 2018 at 18:23
  • 3
    $\begingroup$ See also the answers here mathoverflow.net/questions/59456/whence-commutative-diagrams , particularly the one by KConrad. $\endgroup$
    – j.c.
    Commented Sep 4, 2018 at 18:23
  • 1
    $\begingroup$ It is kinda similar to Chasles rule with maps viewed as vectors or paths in some abstract space. Writing $f\circ g=g\circ f $ is analogous to $ \vec{AC}=\vec{AB}+\vec{BC}=\vec{BC}+\vec{AB} $, since in some sense the considered diagram yields a context in which the composition is "locally abelianized". $\endgroup$
    – Sylvain JULIEN
    Commented Sep 4, 2018 at 18:28
  • 1
    $\begingroup$ It's probably important to know the native language of whoever introduced this terminology. For example in French "commuter" can mean to change the position of an electrical switch (a meaning that doesn't seem to exist in English?). One could imagine electricity running through the arrows, to commute them would be to change their path, and the diagram is commutative if you can commute without changing the result. I don't know. If I follow the linked discussion, it was introduced by Hurewicz? So perhaps a Polish speaker can weigh in on what "commute" evokes for them. $\endgroup$
    – Najib Idrissi
    Commented Sep 4, 2018 at 19:41
  • $\begingroup$ @NajibIdrissi Stromwender (Stromwechsler, Kommutator, Inversor, Polwender, Umschalter, Gyrotrop, Pachytrop): a device that serves the purpose of rapidly changing the connection of individual parts of an electrical line. Used by Gauss (1835): “Bei allen drei Apparaten sind Commutatoren (Gyrotrope) mit der Kette verbunden, wodurch man die Richtung des Stroms mit Leichtigkeit umkehren kann” and in English, Maxwell (1867). $\endgroup$
    – Francois Ziegler
    Commented Sep 5, 2018 at 0:55

0

Reset to default

You must log in to answer this question.