264:
254:
233:
200:
191:
474:(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.
1119:
494:
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
869:
I agree that this statement is somewhat helpful though I full well know the usefulness of equations in algebra: algebra is more or less all about truth-preserving manipulations of equations, such as the multiplicative property of equality. It includes also study of operations which don't perfectly
506:
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
1015:
765:
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
710:
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
Knowledge when the paper doesn't make
923:
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".
870:
preserve truth-value, such as squaring both sides of an equation; in these cases at least the one equation implies the other. So does this metaphor hold perfectly? Is category theory focused on truth-preserving operations on commutative diagrams?
495:
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. -
457:
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.
342:
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.
465:
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. β
551:
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
618:
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. -
153:
1124:\begin{array}{lcl} & X & \overset{f}\rightarrow & Z & \\ &g \downarrow &&\downarrow g'\\ &Y & \underset{f'}\rightarrow& W & \\ \end{array} </math: -->
1114:{\displaystyle {\begin{array}{lcl}&X&{\overset {f}{\rightarrow }}&Z&\\&g\downarrow &&\downarrow g'\\&Y&{\underset {f'}{\rightarrow }}&W&\\\end{array}}}
320:
892:
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.,
811:
1167:
680:
656:
147:
763:
704:
993:
I'm rating this top-priority, because I think it could grow into a very important article on an idea that has become indispensible throughout many branches of mathematics.
1157:
784:
1172:
204:
1182:
310:
44:
79:
1152:
1162:
547:
sense. The use of the word "commute" in category theory just generalizes the equation above. First, if the objects (and therefore morphisms)
286:
1177:
85:
931:
814:
277:
238:
168:
987:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
135:
1147:
99:
30:
104:
20:
873:
Basically what I mean to say is, the sentence should be backed up with a specification of in what form this analogy holds.
74:
638:
but perhaps here is a better place. Apparently it's fairly standard in commutative diagrams to use arrows with a hook (
213:
65:
855:
This statement is not very helpful without elaboration for those who don't know what role equations play in algebra.
129:
429:; then the entire diagram commutes. For example, in group theory, when all the sequences are exact, we say that 0 β
125:
789:
935:
1129:
838:
109:
175:
963:
818:
665:
483:
219:
263:
927:
909:
641:
190:
878:
860:
726:
620:
487:
459:
161:
55:
24:
285:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1125:
834:
748:
734:
689:
269:
141:
70:
355:
253:
232:
994:
959:
722:
467:
51:
905:
769:
852:"Commutative diagrams play the role in category theory that equations play in algebra."
874:
856:
344:
1141:
1020:
984:
730:
712:
635:
580:. Second, relax the requirement that the morphisms within each pair are related (
482:
diagrams? They say something about function composition, which is, after all, not
1005:
Last edited at 19:45, 10 June 2007 (UTC). Substituted at 01:54, 5 May 2016 (UTC)
729:
to the page, feel free to edit to make it flow better (or to add in references)
282:
1133:
997:
967:
939:
913:
882:
864:
842:
822:
738:
715:
623:
499:
496:
259:
900:), when what it meant is a "diagram depicting commutativity" (i.e.,
486:. What is it that's commuting in the case of a commutative diagram?
662:
or ↪) to denote monomorphisms, double-headed arrows (
184:
15:
686:
or ↠) to denote epimorphisms, and double arrows (
453:β 0 are equivalent extensions when this diagram commutes.
979:
160:
1018:
792:
772:
751:
692:
668:
644:
281:, a collaborative effort to improve the coverage of
1113:
805:
778:
757:
698:
674:
650:
511:, and the vertical arrows are both labelled with
33:for general discussion of the article's subject.
1168:Knowledge level-5 vital articles in Mathematics
983:, and are posted here for posterity. Following
977:The comment(s) below were originally left at
174:
8:
227:
1085:
1030:
1019:
1017:
806:{\displaystyle {\overrightarrow {\sim }}}
793:
791:
771:
750:
691:
667:
643:
354:
1158:Knowledge vital articles in Mathematics
229:
188:
1173:C-Class vital articles in Mathematics
515:. Then the diagram commutes (in the
7:
946:Add definitions for loops and cycles
365:In this diagram, if the subsequence
275:This article is within the scope of
896:is an adjective modifying the noun
833:How to do diagrams ( 4) in XMLΒ ? --
675:{\displaystyle \twoheadrightarrow }
218:It is of interest to the following
23:for discussing improvements to the
1183:High-priority mathematics articles
14:
985:several discussions in past years
980:Talk:Commutative diagram/Comments
295:Knowledge:WikiProject Mathematics
1153:Knowledge level-5 vital articles
651:{\displaystyle \hookrightarrow }
298:Template:WikiProject Mathematics
262:
252:
231:
198:
189:
45:Click here to start a new topic.
594:may be unrelated, so call them
315:This article has been rated as
1163:C-Class level-5 vital articles
1087:
1063:
1056:
1032:
752:
693:
669:
645:
1:
914:22:57, 19 December 2013 (UTC)
883:21:00, 21 February 2012 (UTC)
843:08:42, 28 November 2007 (UTC)
823:15:32, 26 February 2009 (UTC)
630:Request for arrow decorations
624:03:02, 18 November 2006 (UTC)
289:and see a list of open tasks.
42:Put new text under old text.
1178:C-Class mathematics articles
940:10:04, 9 February 2014 (UTC)
865:13:11, 23 January 2010 (UTC)
758:{\displaystyle \Rightarrow }
699:{\displaystyle \Rightarrow }
950:Should add definitions for
725:;-) I've added the changes
602:), and this generalizes to
50:New to Knowledge? Welcome!
1199:
998:19:45, 10 June 2007 (UTC)
992:
968:15:55, 13 June 2015 (UTC)
490:20:53, 27 Mar 2005 (UTC)
462:20:30 Oct 29, 2002 (UTC)
347:19:29 Oct 26, 2002 (UTC)
314:
247:
226:
80:Be welcoming to newcomers
1134:18:55, 5 July 2022 (UTC)
739:09:15, 25 May 2008 (UTC)
716:19:57, 24 May 2007 (UTC)
500:21:52, 12 May 2005 (UTC)
470:02:08 Nov 3, 2002 (UTC)
321:project's priority scale
848:Role in category theory
357:File:EquivExtenDiag.png
278:WikiProject Mathematics
1148:C-Class vital articles
1115:
888:Commutativity diagram?
807:
780:
759:
700:
676:
652:
75:avoid personal attacks
1116:
808:
781:
779:{\displaystyle \sim }
760:
721:Whatever happened to
701:
677:
653:
205:level-5 vital article
100:Neutral point of view
1016:
919:Diagrams as functors
790:
770:
749:
690:
666:
642:
478:Why are they called
301:mathematics articles
105:No original research
25:Commutative diagram
1111:
1109:
1098:
973:Assessment comment
803:
776:
755:
696:
672:
648:
270:Mathematics portal
214:content assessment
86:dispute resolution
47:
1086:
1038:
1003:
1002:
930:comment added by
801:
335:
334:
331:
330:
327:
326:
183:
182:
66:Assume good faith
43:
1190:
1120:
1118:
1117:
1112:
1110:
1099:
1097:
1073:
1039:
1031:
990:
989:
982:
942:
812:
810:
809:
804:
802:
794:
785:
783:
782:
777:
764:
762:
761:
756:
745:I've never seen
705:
703:
702:
697:
681:
679:
678:
673:
657:
655:
654:
649:
634:I asked over in
360:
358:
303:
302:
299:
296:
293:
272:
267:
266:
256:
249:
248:
243:
235:
228:
211:
202:
201:
194:
193:
185:
179:
178:
164:
95:Article policies
16:
1198:
1197:
1193:
1192:
1191:
1189:
1188:
1187:
1138:
1137:
1136:
1108:
1107:
1105:
1100:
1090:
1083:
1078:
1075:
1074:
1066:
1061:
1059:
1051:
1048:
1047:
1045:
1040:
1028:
1023:
1014:
1013:
1011:
978:
975:
948:
925:
921:
890:
850:
831:
788:
787:
768:
767:
747:
746:
709:
688:
687:
685:
664:
663:
661:
640:
639:
632:
593:
586:
579:
572:
565:
558:
543:commute in the
535:β that is, iff
356:
340:
300:
297:
294:
291:
290:
268:
261:
241:
212:on Knowledge's
209:
199:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1196:
1194:
1186:
1185:
1180:
1175:
1170:
1165:
1160:
1155:
1150:
1140:
1139:
1122:
1106:
1104:
1101:
1096:
1093:
1089:
1084:
1082:
1079:
1077:
1076:
1072:
1069:
1065:
1062:
1060:
1058:
1055:
1052:
1050:
1049:
1046:
1044:
1041:
1037:
1034:
1029:
1027:
1024:
1022:
1021:
1010:
1007:
1001:
1000:
974:
971:
947:
944:
920:
917:
904:is a noun). β
889:
886:
849:
846:
830:
827:
826:
825:
800:
797:
786:alongside it:
775:
754:
742:
741:
707:
695:
683:
671:
659:
647:
631:
628:
627:
626:
591:
584:
577:
570:
563:
556:
550:
546:
518:
507:labelled with
503:
502:
488:JeffreyYasskin
476:
473:
460:Chas zzz brown
455:
454:
417:commutes with
397:commutes with
377:commutes with
362:
361:
339:
336:
333:
332:
329:
328:
325:
324:
313:
307:
306:
304:
287:the discussion
274:
273:
257:
245:
244:
236:
224:
223:
217:
195:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1195:
1184:
1181:
1179:
1176:
1174:
1171:
1169:
1166:
1164:
1161:
1159:
1156:
1154:
1151:
1149:
1146:
1145:
1143:
1135:
1131:
1127:
1126:Adam majewski
1123:<math: -->
1121:
1102:
1094:
1091:
1080:
1070:
1067:
1053:
1042:
1035:
1025:
1008:
1006:
999:
996:
991:
988:
986:
981:
972:
970:
969:
965:
961:
957:
953:
945:
943:
941:
937:
933:
932:141.70.81.151
929:
918:
916:
915:
911:
907:
903:
902:commutativity
899:
895:
887:
885:
884:
880:
876:
871:
867:
866:
862:
858:
853:
847:
845:
844:
840:
836:
835:Adam majewski
828:
824:
820:
816:
798:
795:
773:
744:
743:
740:
736:
732:
728:
724:
720:
719:
718:
717:
714:
637:
636:Talk:Morphism
629:
625:
622:
617:
613:
609:
605:
601:
597:
590:
583:
576:
569:
562:
555:
548:
544:
542:
538:
534:
530:
526:
522:
516:
514:
510:
505:
504:
501:
498:
493:
492:
491:
489:
485:
481:
475:
471:
469:
463:
461:
452:
448:
444:
440:
436:
432:
428:
424:
420:
416:
412:
408:
404:
400:
396:
392:
388:
384:
380:
376:
372:
368:
364:
363:
359:
353:
352:
351:
348:
346:
337:
322:
318:
317:High-priority
312:
309:
308:
305:
288:
284:
280:
279:
271:
265:
260:
258:
255:
251:
250:
246:
242:Highβpriority
240:
237:
234:
230:
225:
221:
215:
207:
206:
196:
192:
187:
186:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
1012:
1004:
995:Geometry guy
976:
960:VictorPorton
955:
951:
949:
926:β Preceding
922:
901:
897:
893:
891:
872:
868:
854:
851:
832:
815:86.1.196.219
633:
615:
611:
607:
603:
599:
595:
588:
581:
574:
567:
560:
553:
540:
536:
532:
528:
524:
520:
512:
508:
479:
477:
472:
464:
456:
450:
446:
442:
441:β 0 and 0 β
438:
434:
430:
426:
422:
418:
414:
410:
406:
402:
398:
394:
390:
386:
382:
378:
374:
370:
366:
349:
341:
316:
276:
220:WikiProjects
203:
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
894:commutative
519:sense) iff
484:commutative
480:commutative
350:Howzabout:
292:Mathematics
283:mathematics
239:Mathematics
148:free images
31:not a forum
1142:Categories
906:Loadmaster
723:being bold
517:categorial
875:Dranorter
857:LokiClock
727:in a note
545:algebraic
345:AxelBoldt
208:is rated
88:if needed
71:Be polite
21:talk page
928:unsigned
731:SetaLyas
713:Dan Hoey
621:Owsteele
338:Untitled
56:get help
29:This is
27:article.
898:diagram
711:sense.β
319:on the
210:C-class
154:WPΒ refs
142:scholar
956:cycles
549:aren't
405:; and
385:; and
216:scale.
126:Google
1009:Latex
952:loops
497:Gauge
197:This
169:JSTOR
130:books
84:Seek
1130:talk
964:talk
954:and
936:talk
910:talk
879:talk
861:talk
839:talk
819:talk
735:talk
598:and
587:and
539:and
468:Toby
311:High
162:FENS
136:news
73:and
829:xml
813:.
706:or
682:or
658:or
176:TWL
1144::
1132:)
1088:β
1064:β
1057:β
1033:β
966:)
958:.
938:)
912:)
881:)
863:)
841:)
821:)
799:β
796:βΌ
774:βΌ
753:β
737:)
694:β
670:β
646:βͺ
614:β
610:=
606:β
573:β
566:=
559:β
531:β
527:=
523:β
449:β
445:β
437:β
433:β
425:β
421:β
413:β
409:β
401:β
393:β
389:β
381:β
373:β
369:β
156:)
54:;
1128:(
1103:W
1095:β²
1092:f
1081:Y
1071:β²
1068:g
1054:g
1043:Z
1036:f
1026:X
962:(
934:(
908:(
877:(
859:(
837:(
817:(
733:(
708:β
684:β
660:βͺ
616:x
612:z
608:w
604:y
600:z
596:w
592:R
589:f
585:P
582:f
578:P
575:g
571:R
568:f
564:P
561:f
557:Q
554:g
541:g
537:f
533:g
529:f
525:f
521:g
513:g
509:f
451:K
447:G
443:H
439:K
435:G
431:H
427:K
423:G
419:H
415:K
411:G
407:H
403:K
399:G
395:K
391:G
387:G
383:G
379:H
375:G
371:G
367:H
323:.
222::
172:Β·
166:Β·
158:Β·
151:Β·
145:Β·
139:Β·
133:Β·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.