Talk:Commutative diagram

message: Chaz, could you also produce a diagram with has like two or three squares or triangles? This could serve to illustrate the last point: if all the "small" squares and triangles commute, then the whole diagram is automatically commutative. AxelBoldt 19:29 Oct 26, 2002 (UTC)
Howzabout:
:
:In this diagram, if the subsequence H → G → G* commutes with H → G*; and G → G* → K commutes with G → K; and H → G → K commutes with H → G* → K; then the entire diagram commutes. For example, in group theory, when all the sequences are exact, we say that 0 → H → G → K → 0 and 0 → H → G* → K → 0 are equivalent extensions when this diagram commutes. 
If you've got another example in mind, just do it in ASCII and I'll diagram it. In fact, if you bump across any other examples you'd like to see diagrammed this wayt, just post to my talk page, and I'll do it up - just takes me a second. Chas zzz brown 20:30 Oct 29, 2002 (UTC)
I notice from this example that your images have white backgrounds, rather than being transparent.
It's not a big deal, since they'll almost always be on pages with white backgrounds, but they probably ought to be transparent instead.
— Toby 02:08 Nov 3, 2002 (UTC)
(VPatryshev) It is probably not very smart from to to ask here, but I've been trying to add some entries for toposes, and found that I have no clue how to post images here - you seem to have succeeded; it would be great if you could help me, say, point to a wikipedia how-to page. So far my "ascii art" does not look very convincing. Thank you.
----
Why are they called commutative diagrams? They say something about function composition, which is, after all, not commutative. What is it that's commuting in the case of a commutative diagram? JeffreyYasskin 20:53, 27 Mar 2005 (UTC)
replies: text: The word "commutes" here is not being used in the sense of algebra; instead, it refers to a certain property of a diagram:  any two composites of arrows with the same source and target in the diagram are equal.  In a 2-category, you can replace this strict equivalence by 2-isomorphisms instead, with a corresponding notion of strict 2-commutativity for 2-arrows.  One can replace strict commutativity for 2-arrows by 3-isos, and so on for higher categories.  At least this is what I seem to remember from looking at n-categories some time ago.  - Gauge 21:52, 12 May 2005 (UTC)

text: I don't know the actual history of the use of "commutative" here, but here's a folk etymology I came up with to remind me that the word goes with this concept. Picture a diagram similar to the PQRS diagram on the article page, but where all the objects are identical, the horizontal arrows are both labelled with f, and the vertical arrows are both labelled with g.  Then the diagram commutes (in the categorial sense) iff g ○ f = f ○ g — that is, iff f and g commute in the algebraic sense.  The use of the word "commute" in category theory just generalizes the equation above.  First, if the objects (and therefore morphisms) aren't equal but the two horizontal morphisms are somehow related (they might be components of the same natural transformation, for example), and similarly for the two vertical morphisms, then the commutativity of the diagram says that gQ ○ fP = fR ○ gP.  Second, relax the requirement that the morphisms within each pair are related (fP and fR may be unrelated, so call them w and z), and this generalizes to y ○ w = z ○ x as in the body of the article.  Finally, relax the requirement that there are only two paths and that each is composed of two morphisms, and you've got the categorial definition, that any paths from A to B are equal.  - Owsteele 03:02, 18 November 2006 (UTC)
thread_title: Untitled

message: I asked over in Talk:Morphism but perhaps here is a better place.  Apparently it's fairly standard in commutative diagrams to use arrows with a hook (\hookrightarrow or ↪ or ↪) to denote monomorphisms, double-headed arrows (\twoheadrightarrow or ↠ or ↠) to denote epimorphisms, and double arrows (\Rightarrow or ⇒ or ⇒) to denote isomorphisms.  So standard, in fact, that algebra papers don't even footnote the usage.  It would be nice to mention this usage and use it in the illustrations, for those of us who turn to Wikipedia when the paper doesn't make sense.–Dan Hoeytalk 19:57, 24 May 2007 (UTC)
replies: text: Whatever happened to being bold ;-) I've added the changes in a note to the page, feel free to edit to make it flow better (or to add in references) SetaLyas (talk) 09:15, 25 May 2008 (UTC)

text: I've never seen \Rightarrow for an isomorphism.  You mention algebra papers, and while it's true that I'm not an algebraist, I am a category theorist; and that means that I do see a lot of commutative diagrams.  I've changed it to what I consider to be standard, which is an arrow with a \sim alongside it: \overrightarrow{\sim}.  86.1.196.219 (talk) 15:32, 26 February 2009 (UTC)
thread_title:  Request for arrow decorations 

message: How to do diagrams ( 4) in XML ? --Adam majewski (talk) 08:42, 28 November 2007 (UTC)
thread_title:  xml 

message: "Commutative diagrams play the role in category theory that equations play in algebra."
This statement is not very helpful without elaboration for those who don't know what role equations play in algebra. LokiClock (talk) 13:11, 23 January 2010 (UTC)
thread_title:  Role in category theory 

message: Shouldn't this be called a "commutativity diagram" instead of a "commutative diagram"? The latter seems, by the normal rules of English, to describe a "diagram that is commutative" (i.e., commutative is an adjective modifying the noun diagram), when what it meant is a "diagram depicting commutativity" (i.e., commutativity is a noun). — Loadmaster (talk) 22:57, 19 December 2013 (UTC)
thread_title:  Commutativity diagram? 

message: There is written that a commutative diagram is a diagram of type J, where J is a poset category.  Why not even allow prosets (preorders)?  I would call a diagram still commutative if there are isomorphisms in and often enough I walk them "backwards".  — Preceding unsigned comment added by 141.70.81.151 (talk) 10:04, 9 February 2014 (UTC)
thread_title:  Diagrams as functors 

message: Should add definitions for loops and cycles. VictorPorton (talk) 15:55, 13 June 2015 (UTC)
thread_title:  Add definitions for loops and cycles 

message: Substituted at 01:54, 5 May 2016 (UTC)
thread_title: Assessment comment

message: \begin{array}{lcl}
 & X & \overset{f}\rightarrow & Z & \\
 &g \downarrow &&\downarrow g'\\
 &Y & \underset{f'}\rightarrow& W & \\
\end{array}
 
 
\begin{array}{lcl}
 & X & \overset{f}\rightarrow & Z & \\
 &g \downarrow &&\downarrow g'\\
 &Y & \underset{f'}\rightarrow& W & \\
\end{array}
 Adam majewski (talk) 18:55, 5 July 2022 (UTC)
thread_title:  Latex