120:
719:
77:
36:
626:
1329:
axioms. For the case of a concrete mathematical structure, they can be viewed as conditions, namely as requirements for the mathematical structure under consideration to be a concrete category, requirements that such a structure may meet or fail to meet.
365:
927:
825:
450:
677:, which states that one only needs to check a few equalities of compositions in order to show that the rest also hold. In the above example, one only needs to check that, for all quadruples of objects
966:
668:
442:
271:
149:
713:
403:
621:{\displaystyle ((A_{N}\otimes A_{N-1})\otimes A_{N-2})\otimes \cdots \otimes A_{1})\rightarrow (A_{N}\otimes (A_{N-1}\otimes \cdots \otimes (A_{2}\otimes A_{1})).}
283:
830:
728:
1445:
1406:
1379:
222:. A coherence theorem states that, in order to be assured that all these equalities hold, it suffices to check a small number of identities.
49:
94:
1463:
189:
171:
63:
976:
Two simple examples that illustrate the definition are as follows. Both are directly from the definition of a category.
132:
142:
136:
128:
153:
1504:
371:
89:
55:
1341:
Kelly, G.M (1964). "On MacLane's conditions for coherence of natural associativities, commutativities, etc".
219:
932:
634:
408:
237:
1441:
1325:
for the case of an abstract category, since they follow directly from the axioms; in fact, they
1459:
1437:
1402:
1375:
674:
670:. One coherence condition that is typically imposed is that these compositions are all equal.
231:
27:
Collection of conditions requiring that various compositions of elementary morphisms are equal
680:
1482:
1451:
1425:
1394:
1367:
1350:
718:
360:{\displaystyle \alpha _{A,B,C}\colon (A\otimes B)\otimes C\rightarrow A\otimes (B\otimes C)}
922:{\displaystyle (A_{N}\otimes (A_{N-1}\otimes (\cdots \otimes (A_{2}\otimes A_{1})\cdots ))}
820:{\displaystyle ((\cdots (A_{N}\otimes A_{N-1})\otimes \cdots )\otimes A_{2})\otimes A_{1})}
376:
207:
631:
Actually, there are many ways to construct such a morphism as a composition of various
1498:
1486:
1354:
1371:
1455:
214:
is a collection of conditions requiring that various compositions of elementary
203:
17:
1450:. Graduate texts in mathematics. Vol. 4. Springer. pp. 161โ165.
218:
are equal. Typically the elementary morphisms are part of the data of the
215:
1398:
1429:
1417:
1366:. Graduate Texts in Mathematics. Vol. 155. pp. 275โ293.
1393:. Lecture Notes in Mathematics. Vol. 281. pp. 29โ65.
1321:
In these two particular examples, the coherence statements are
113:
70:
29:
1204:. By repeated composition, we can construct a morphism from
717:
1389:
Laplaza, Miguel L. (1972). "Coherence for distributivity".
1103:. We have, accordingly, the following coherence statement:
1006:. Associated with these objects are the identity morphisms
935:
833:
731:
683:
637:
453:
411:
379:
286:
240:
998:be a morphism of a category containing two objects
673:Typically one proves a coherence condition using a
1473:Power, A.J. (1989). "A general coherence result".
960:
921:
819:
707:
662:
620:
436:
397:
359:
265:
1422:Rice Institute Pamphlet - Rice University Studies
141:but its sources remain unclear because it lacks
1362:Kassel, Christian (1995). "Tensor Categories".
1276:We have now the following coherence statement:
1099:Both are morphisms between the same objects as
1188:be morphisms of a category containing objects
405:in the category. Using compositions of these
86:needs attention from an expert in mathematics
8:
226:An illustrative example: a monoidal category
64:Learn how and when to remove these messages
1418:"Natural Associativity and Commutativity"
940:
934:
901:
888:
857:
841:
832:
808:
792:
761:
748:
730:
682:
642:
636:
603:
590:
562:
546:
527:
499:
477:
464:
452:
416:
410:
378:
291:
285:
245:
239:
190:Learn how and when to remove this message
172:Learn how and when to remove this message
1447:Categories for the working mathematician
929:constructed as compositions of various
97:may be able to help recruit an expert.
7:
1475:Journal of Pure and Applied Algebra
1416:MacLane, Saunders (October 1963).
715:, the following diagram commutes.
25:
45:This article has multiple issues.
118:
75:
34:
961:{\displaystyle \alpha _{A,B,C}}
663:{\displaystyle \alpha _{A,B,C}}
444:, one can construct a morphism
437:{\displaystyle \alpha _{A,B,C}}
266:{\displaystyle \alpha _{A,B,C}}
53:or discuss these issues on the
1044:, we construct two morphisms:
916:
913:
907:
881:
872:
850:
834:
814:
798:
782:
773:
741:
735:
732:
612:
609:
583:
555:
539:
536:
533:
511:
489:
457:
454:
354:
342:
333:
324:
312:
1:
1487:10.1016/0022-4049(89)90113-8
1372:10.1007/978-1-4612-0783-2_11
1355:10.1016/0021-8693(64)90018-3
1142:Associativity of composition
1456:10.1007/978-1-4612-9839-7_8
725:Any pair of morphisms from
1521:
1040:. By composing these with
1442:"7. Monoids ยง2 Coherence"
127:This article includes a
1391:Coherence in Categories
708:{\displaystyle A,B,C,D}
156:more precise citations.
95:WikiProject Mathematics
962:
923:
821:
722:
709:
664:
622:
438:
399:
361:
267:
230:Part of the data of a
963:
924:
822:
721:
710:
665:
623:
439:
400:
398:{\displaystyle A,B,C}
362:
268:
234:is a chosen morphism
933:
831:
729:
681:
635:
451:
409:
377:
284:
238:
370:for each triple of
212:coherence condition
206:, and particularly
1438:Mac Lane, Saunders
1399:10.1007/BFb0059555
1343:Journal of Algebra
958:
919:
817:
723:
705:
660:
618:
434:
395:
357:
263:
129:list of references
1408:978-3-540-05963-9
1381:978-1-4612-6900-7
1311:
1304:
1294:
1287:
1259:
1252:
1230:
1223:
1132:
1113:
1082:
1054:
675:coherence theorem
232:monoidal category
200:
199:
192:
182:
181:
174:
112:
111:
68:
16:(Redirected from
1512:
1490:
1469:
1433:
1412:
1385:
1358:
1316:
1309:
1302:
1292:
1285:
1271:
1257:
1250:
1242:
1228:
1221:
1187:
1173:
1159:
1136:
1130:
1111:
1094:
1080:
1069:
1052:
1039:
1022:
997:
972:Further examples
967:
965:
964:
959:
957:
956:
928:
926:
925:
920:
906:
905:
893:
892:
868:
867:
846:
845:
826:
824:
823:
818:
813:
812:
797:
796:
772:
771:
753:
752:
714:
712:
711:
706:
669:
667:
666:
661:
659:
658:
627:
625:
624:
619:
608:
607:
595:
594:
573:
572:
551:
550:
532:
531:
510:
509:
488:
487:
469:
468:
443:
441:
440:
435:
433:
432:
404:
402:
401:
396:
366:
364:
363:
358:
308:
307:
272:
270:
269:
264:
262:
261:
195:
188:
177:
170:
166:
163:
157:
152:this article by
143:inline citations
122:
121:
114:
107:
104:
98:
79:
78:
71:
60:
38:
37:
30:
21:
1520:
1519:
1515:
1514:
1513:
1511:
1510:
1509:
1505:Category theory
1495:
1494:
1493:
1472:
1466:
1436:
1415:
1409:
1388:
1382:
1361:
1340:
1336:
1280:
1246:
1216:
1175:
1161:
1147:
1144:
1129:
1119:
1107:
1079:
1073:
1060:
1048:
1030:
1024:
1013:
1007:
985:
982:
974:
936:
931:
930:
897:
884:
853:
837:
829:
828:
804:
788:
757:
744:
727:
726:
679:
678:
638:
633:
632:
599:
586:
558:
542:
523:
495:
473:
460:
449:
448:
412:
407:
406:
375:
374:
287:
282:
281:
241:
236:
235:
228:
208:category theory
196:
185:
184:
183:
178:
167:
161:
158:
147:
133:related reading
123:
119:
108:
102:
99:
93:
80:
76:
39:
35:
28:
23:
22:
18:Coherence axiom
15:
12:
11:
5:
1518:
1516:
1508:
1507:
1497:
1496:
1492:
1491:
1481:(2): 165โ173.
1470:
1464:
1434:
1413:
1407:
1386:
1380:
1364:Quantum Groups
1359:
1349:(4): 397โ402.
1337:
1335:
1332:
1319:
1318:
1274:
1273:
1244:
1143:
1140:
1139:
1138:
1125:
1115:
1097:
1096:
1075:
1071:
1056:
1026:
1009:
981:
978:
973:
970:
955:
952:
949:
946:
943:
939:
918:
915:
912:
909:
904:
900:
896:
891:
887:
883:
880:
877:
874:
871:
866:
863:
860:
856:
852:
849:
844:
840:
836:
816:
811:
807:
803:
800:
795:
791:
787:
784:
781:
778:
775:
770:
767:
764:
760:
756:
751:
747:
743:
740:
737:
734:
704:
701:
698:
695:
692:
689:
686:
657:
654:
651:
648:
645:
641:
629:
628:
617:
614:
611:
606:
602:
598:
593:
589:
585:
582:
579:
576:
571:
568:
565:
561:
557:
554:
549:
545:
541:
538:
535:
530:
526:
522:
519:
516:
513:
508:
505:
502:
498:
494:
491:
486:
483:
480:
476:
472:
467:
463:
459:
456:
431:
428:
425:
422:
419:
415:
394:
391:
388:
385:
382:
368:
367:
356:
353:
350:
347:
344:
341:
338:
335:
332:
329:
326:
323:
320:
317:
314:
311:
306:
303:
300:
297:
294:
290:
260:
257:
254:
251:
248:
244:
227:
224:
198:
197:
180:
179:
162:September 2017
137:external links
126:
124:
117:
110:
109:
83:
81:
74:
69:
43:
42:
40:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1517:
1506:
1503:
1502:
1500:
1488:
1484:
1480:
1476:
1471:
1467:
1465:9781461298397
1461:
1457:
1453:
1449:
1448:
1443:
1439:
1435:
1431:
1427:
1423:
1419:
1414:
1410:
1404:
1400:
1396:
1392:
1387:
1383:
1377:
1373:
1369:
1365:
1360:
1356:
1352:
1348:
1344:
1339:
1338:
1333:
1331:
1328:
1324:
1314:
1308:
1301:
1297:
1290:
1284:
1279:
1278:
1277:
1270:
1266:
1262:
1256:
1249:
1245:
1241:
1237:
1233:
1226:
1220:
1215:
1214:
1213:
1212:in two ways:
1211:
1207:
1203:
1199:
1195:
1191:
1186:
1182:
1178:
1172:
1168:
1164:
1158:
1154:
1150:
1141:
1135:
1128:
1123:
1118:
1110:
1106:
1105:
1104:
1102:
1093:
1089:
1085:
1078:
1072:
1068:
1064:
1059:
1051:
1047:
1046:
1045:
1043:
1038:
1034:
1029:
1021:
1017:
1012:
1005:
1001:
996:
992:
988:
979:
977:
971:
969:
953:
950:
947:
944:
941:
937:
910:
902:
898:
894:
889:
885:
878:
875:
869:
864:
861:
858:
854:
847:
842:
838:
809:
805:
801:
793:
789:
785:
779:
776:
768:
765:
762:
758:
754:
749:
745:
738:
720:
716:
702:
699:
696:
693:
690:
687:
684:
676:
671:
655:
652:
649:
646:
643:
639:
615:
604:
600:
596:
591:
587:
580:
577:
574:
569:
566:
563:
559:
552:
547:
543:
528:
524:
520:
517:
514:
506:
503:
500:
496:
492:
484:
481:
478:
474:
470:
465:
461:
447:
446:
445:
429:
426:
423:
420:
417:
413:
392:
389:
386:
383:
380:
373:
351:
348:
345:
339:
336:
330:
327:
321:
318:
315:
309:
304:
301:
298:
295:
292:
288:
280:
279:
278:
276:
273:, called the
258:
255:
252:
249:
246:
242:
233:
225:
223:
221:
217:
213:
209:
205:
194:
191:
176:
173:
165:
155:
151:
145:
144:
138:
134:
130:
125:
116:
115:
106:
103:February 2009
96:
91:
87:
84:This article
82:
73:
72:
67:
65:
58:
57:
52:
51:
46:
41:
32:
31:
19:
1478:
1474:
1446:
1421:
1390:
1363:
1346:
1342:
1326:
1322:
1320:
1312:
1306:
1299:
1295:
1288:
1282:
1275:
1268:
1264:
1260:
1254:
1247:
1239:
1235:
1231:
1224:
1218:
1209:
1205:
1201:
1197:
1193:
1189:
1184:
1180:
1176:
1170:
1166:
1162:
1156:
1152:
1148:
1145:
1133:
1126:
1121:
1116:
1108:
1100:
1098:
1091:
1087:
1083:
1076:
1066:
1062:
1057:
1049:
1041:
1036:
1032:
1027:
1019:
1015:
1010:
1003:
999:
994:
990:
986:
983:
975:
724:
672:
630:
369:
274:
229:
211:
201:
186:
168:
159:
148:Please help
140:
100:
92:for details.
85:
61:
54:
48:
47:Please help
44:
1124: = 1
968:are equal.
204:mathematics
154:introducing
88:. See the
1430:1911/62865
1334:References
275:associator
50:improve it
1263:) :
938:α
911:⋯
895:⊗
879:⊗
876:⋯
870:⊗
862:−
848:⊗
802:⊗
786:⊗
780:⋯
777:⊗
766:−
755:⊗
739:⋯
640:α
597:⊗
581:⊗
578:⋯
575:⊗
567:−
553:⊗
537:→
521:⊗
518:⋯
515:⊗
504:−
493:⊗
482:−
471:⊗
414:α
349:⊗
340:⊗
334:→
328:⊗
319:⊗
310::
289:α
243:α
216:morphisms
90:talk page
56:talk page
1499:Category
1440:(1971).
1323:theorems
1234: :
1179: :
1165: :
1151: :
1086: :
1061: :
1031: :
1014: :
989: :
980:Identity
220:category
372:objects
150:improve
1462:
1405:
1378:
1243:, and
1070:, and
135:, or
1460:ISBN
1403:ISBN
1376:ISBN
1200:and
1174:and
1146:Let
1023:and
1002:and
984:Let
210:, a
1483:doi
1452:doi
1426:hdl
1395:doi
1368:doi
1351:doi
1327:are
1208:to
827:to
202:In
1501::
1479:57
1477:.
1458:.
1444:.
1424:.
1420:.
1401:.
1374:.
1345:.
1298:=
1291:)
1267:โ
1238:โ
1227:)
1196:,
1192:,
1183:โ
1169:โ
1160:,
1155:โ
1120:=
1090:โ
1065:โ
1035:โ
1018:โ
993:โ
277::
139:,
131:,
59:.
1489:.
1485::
1468:.
1454::
1432:.
1428::
1411:.
1397::
1384:.
1370::
1357:.
1353::
1347:1
1317:.
1315:)
1313:f
1310:o
1307:g
1305:(
1303:o
1300:h
1296:f
1293:o
1289:g
1286:o
1283:h
1281:(
1272:.
1269:D
1265:A
1261:f
1258:o
1255:g
1253:(
1251:o
1248:h
1240:D
1236:A
1232:f
1229:o
1225:g
1222:o
1219:h
1217:(
1210:D
1206:A
1202:D
1198:C
1194:B
1190:A
1185:D
1181:C
1177:h
1171:C
1167:B
1163:g
1157:B
1153:A
1149:f
1137:.
1134:f
1131:o
1127:B
1122:f
1117:A
1114:1
1112:o
1109:f
1101:f
1095:.
1092:B
1088:A
1084:f
1081:o
1077:B
1074:1
1067:B
1063:A
1058:A
1055:1
1053:o
1050:f
1042:f
1037:B
1033:B
1028:B
1025:1
1020:A
1016:A
1011:A
1008:1
1004:B
1000:A
995:B
991:A
987:f
954:C
951:,
948:B
945:,
942:A
917:)
914:)
908:)
903:1
899:A
890:2
886:A
882:(
873:(
865:1
859:N
855:A
851:(
843:N
839:A
835:(
815:)
810:1
806:A
799:)
794:2
790:A
783:)
774:)
769:1
763:N
759:A
750:N
746:A
742:(
736:(
733:(
703:D
700:,
697:C
694:,
691:B
688:,
685:A
656:C
653:,
650:B
647:,
644:A
616:.
613:)
610:)
605:1
601:A
592:2
588:A
584:(
570:1
564:N
560:A
556:(
548:N
544:A
540:(
534:)
529:1
525:A
512:)
507:2
501:N
497:A
490:)
485:1
479:N
475:A
466:N
462:A
458:(
455:(
430:C
427:,
424:B
421:,
418:A
393:C
390:,
387:B
384:,
381:A
355:)
352:C
346:B
343:(
337:A
331:C
325:)
322:B
316:A
313:(
305:C
302:,
299:B
296:,
293:A
259:C
256:,
253:B
250:,
247:A
193:)
187:(
175:)
169:(
164:)
160:(
146:.
105:)
101:(
66:)
62:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.