35:
1553:
862:
236:
803:
544:
479:
177:
1012:
695:
97:
903:
277:
608:
933:
724:
126:
988:
307:
578:
1594:
953:
671:
636:
503:
425:
405:
331:
70:
1041:
1442:
1354:
1333:
1304:
1237:
814:
188:
732:
1587:
352:). The restriction to binary products here is for ease of notation; diagonal morphisms exist similarly for arbitrary products. The
512:
1618:
342:
310:
1580:
430:
137:
509:
of such a diagonal morphism is diagonal (whenever it makes sense), for example the image of the diagonal morphism
1015:
100:
50:
1496:
353:
377:
369:
73:
1273:
1217:
373:
1396:
993:
676:
78:
867:
551:
506:
384:
241:
1229:
1613:
1481:
1373:
1263:
1248:
1207:
1036:
615:
611:
586:
338:
28:
911:
703:
105:
1438:
1411:
1350:
1329:
1300:
1286:
1233:
961:
643:
365:
285:
1424:
1344:
1315:
1430:
1383:
1321:
1292:
1225:
1190:
1031:
581:
357:
1508:
1560:
42:
34:
557:
1277:
1221:
1564:
938:
656:
621:
488:
410:
390:
316:
55:
1607:
1181:
Awodey, s. (1996). "Structure in
Mathematics and Logic: A Categorical Perspective".
482:
1552:
1535:
1434:
1320:. Grundlehren der mathematischen Wissenschaften. Vol. 332. pp. 35–69.
1296:
1019:
349:
46:
1202:
Baez, John C. (2004). "Quantum
Quandaries: A Category-Theoretic Perspective".
1194:
698:
1415:
1247:
Carter, J. Scott; Crans, Alissa; Elhamdadi, Mohamed; Saito, Masahico (2008).
1325:
547:
17:
1523:
387:, the diagonal morphism can be simply described by its action on elements
1212:
639:
334:
1387:
1423:
Popescu, Nicolae; Popescu, Liliana (1979). "Categories and functors".
646:
restrictions that the image of the diagonal map will fail to satisfy.
1268:
361:
27:
For the particular instance of the notion in algebraic geometry, see
1486:
1477:
1378:
857:{\displaystyle \delta _{b}\circ \tau _{l}=\operatorname {id} _{b}}
346:
33:
231:{\displaystyle \pi _{k}\circ \delta _{a}=\operatorname {id} _{a}}
1364:
Muro, Fernando (2016). "Homotopy units in A-infinity algebras".
798:{\displaystyle \delta _{b}\colon b\sqcup b{\stackrel {}{\to }}b}
642:
at that element. However, most notions of sequence spaces have
1453:
999:
682:
84:
1061:
539:{\displaystyle \mathbb {R} \rightarrow \mathbb {R} ^{2}}
1568:
1397:"Some categorical properties of complex spaces Part II"
1404:
Bulletin of the
Faculty of Education, Chiba University
1314:
Kashiwara, Msakia; Schapira, Pierre (2006). "Limits".
996:
964:
941:
914:
870:
817:
735:
706:
679:
659:
624:
589:
560:
515:
491:
433:
413:
393:
319:
288:
244:
191:
140:
108:
81:
58:
1042:
wikibooks:Category Theory/(Co-)cones and (co-)limits
1458:
Publications du Département de Mathématiques (Lyon)
1006:
982:
947:
927:
897:
856:
797:
726:exists, the co-diagonal is the canonical morphism
718:
689:
665:
630:
602:
572:
538:
497:
474:{\displaystyle \delta _{a}(x)=\langle x,x\rangle }
473:
419:
399:
325:
301:
271:
230:
172:{\displaystyle \delta _{a}:a\rightarrow a\times a}
171:
120:
91:
64:
1022:if and only if the codiagonal is an isomorphism.
1249:"Cohomology of Categorical Self-Distributivity"
1151:
1133:
1131:
1093:
1588:
1285:Faith, Carl (1973). "Product and Coproduct".
1204:The Structural Foundations of Quantum Gravity
1117:
1115:
1088:
1086:
8:
1106:
889:
877:
649:The dual notion of a diagonal morphism is a
468:
456:
263:
251:
1072:
1070:
1595:
1581:
1256:Journal of Homotopy and Related Structures
1485:
1377:
1267:
1230:10.1093/acprof:oso/9780199269693.003.0008
1211:
1138:
998:
997:
995:
963:
940:
919:
913:
869:
848:
835:
822:
816:
766:
761:
759:
758:
740:
734:
705:
681:
680:
678:
658:
623:
594:
588:
559:
530:
526:
525:
517:
516:
514:
490:
438:
432:
412:
392:
318:
293:
287:
243:
222:
209:
196:
190:
145:
139:
107:
83:
82:
80:
57:
1497:"Lectures on basic homological algebra"
1122:
1053:
505:. The reason for the name is that the
1077:
333:-th component. The existence of this
7:
1549:
1547:
1164:
638:; each element maps to the constant
1509:"Categories for Me [note]"
595:
25:
935:is the injection morphism to the
580:. The diagonal morphism into the
550:is given by the line that is the
1551:
1495:Herscovich, Estanislao (2020).
1007:{\displaystyle {\mathcal {C}}}
974:
785:
767:
762:
690:{\displaystyle {\mathcal {C}}}
521:
450:
444:
356:of a diagonal morphism in the
157:
92:{\displaystyle {\mathcal {C}}}
1:
1478:"Categories for Me, and You?"
898:{\displaystyle l\in \{1,2\}.}
311:canonical projection morphism
272:{\displaystyle k\in \{1,2\},}
1567:. You can help Knowledge by
1454:"Petit guide des catégories"
990:be a morphism in a category
1435:10.1007/978-94-009-9550-5_1
1297:10.1007/978-3-642-80634-6_4
603:{\displaystyle X^{\infty }}
1635:
1546:
1094:Popescu & Popescu 1979
26:
1507:Laurent, Olivier (2013).
1395:Masakatsu, Uzawa (1972).
928:{\displaystyle \tau _{l}}
719:{\displaystyle b\sqcup b}
128:exists, there exists the
121:{\displaystyle a\times a}
1476:Aubert, Clément (2019).
1343:Mitchell, Barry (1965).
983:{\displaystyle f:X\to Y}
337:is a consequence of the
302:{\displaystyle \pi _{k}}
1326:10.1007/3-540-27950-4_3
1195:10.1093/philmat/4.3.209
1183:Philosophia Mathematica
1563:-related article is a
1366:Trans. Amer. Math. Soc
1317:Categories and Sheaves
1008:
984:
949:
929:
899:
858:
799:
720:
691:
667:
632:
604:
574:
540:
499:
475:
421:
401:
327:
303:
273:
232:
173:
122:
93:
66:
38:
1619:Category theory stubs
1009:
985:
950:
930:
900:
859:
800:
721:
692:
668:
633:
605:
575:
541:
500:
476:
422:
402:
328:
304:
274:
233:
174:
123:
94:
67:
37:
1426:Theory of categories
1346:Theory of Categories
1206:. pp. 240–265.
994:
962:
939:
912:
868:
815:
733:
704:
677:
657:
651:co-diagonal morphism
622:
587:
558:
513:
489:
431:
411:
391:
317:
286:
242:
189:
138:
106:
79:
56:
1536:"diagonal morphism"
1452:Pupier, R. (1964).
1291:. pp. 83–109.
1278:2006math......7417C
1222:2004quant.ph..4040B
1152:co-Diagonal in nlab
653:. For every object
573:{\displaystyle y=x}
385:concrete categories
1429:. pp. 1–148.
1349:. Academic Press.
1062:Carter et al. 2008
1037:Diagonal embedding
1004:
980:
945:
925:
895:
854:
795:
716:
687:
663:
628:
616:space of sequences
600:
570:
536:
495:
471:
417:
397:
339:universal property
323:
299:
269:
228:
169:
118:
89:
62:
39:
29:diagonal embedding
1576:
1575:
1516:perso.ens-lyon.fr
1444:978-94-009-9552-9
1388:10.1090/tran/6545
1356:978-0-12-499250-4
1335:978-3-540-27949-5
1306:978-3-642-80636-0
1239:978-0-19-926969-3
948:{\displaystyle l}
789:
666:{\displaystyle b}
631:{\displaystyle X}
498:{\displaystyle x}
420:{\displaystyle a}
400:{\displaystyle x}
366:Cartesian product
326:{\displaystyle k}
130:diagonal morphism
65:{\displaystyle a}
16:(Redirected from
1626:
1597:
1590:
1583:
1555:
1548:
1543:
1531:
1519:
1513:
1503:
1501:
1491:
1489:
1465:
1448:
1419:
1401:
1391:
1381:
1360:
1339:
1310:
1281:
1271:
1253:
1243:
1215:
1213:quant-ph/0404040
1198:
1168:
1161:
1155:
1148:
1142:
1141:, Definition 4.)
1135:
1126:
1119:
1110:
1107:Diagonal in nlab
1103:
1097:
1096:, Exercise 7.2.)
1090:
1081:
1074:
1065:
1058:
1032:Diagonal functor
1013:
1011:
1010:
1005:
1003:
1002:
989:
987:
986:
981:
954:
952:
951:
946:
934:
932:
931:
926:
924:
923:
904:
902:
901:
896:
863:
861:
860:
855:
853:
852:
840:
839:
827:
826:
804:
802:
801:
796:
791:
790:
788:
765:
760:
745:
744:
725:
723:
722:
717:
696:
694:
693:
688:
686:
685:
672:
670:
669:
664:
637:
635:
634:
629:
609:
607:
606:
601:
599:
598:
582:infinite product
579:
577:
576:
571:
554:of the equation
545:
543:
542:
537:
535:
534:
529:
520:
504:
502:
501:
496:
480:
478:
477:
472:
443:
442:
426:
424:
423:
418:
406:
404:
403:
398:
358:category of sets
332:
330:
329:
324:
308:
306:
305:
300:
298:
297:
278:
276:
275:
270:
237:
235:
234:
229:
227:
226:
214:
213:
201:
200:
178:
176:
175:
170:
150:
149:
127:
125:
124:
119:
98:
96:
95:
90:
88:
87:
71:
69:
68:
63:
21:
1634:
1633:
1629:
1628:
1627:
1625:
1624:
1623:
1604:
1603:
1602:
1601:
1561:category theory
1534:
1522:
1511:
1506:
1499:
1494:
1475:
1472:
1451:
1445:
1422:
1399:
1394:
1363:
1357:
1342:
1336:
1313:
1307:
1284:
1251:
1246:
1240:
1201:
1180:
1177:
1172:
1171:
1162:
1158:
1149:
1145:
1136:
1129:
1120:
1113:
1104:
1100:
1091:
1084:
1075:
1068:
1059:
1055:
1050:
1028:
992:
991:
960:
959:
955:-th component.
937:
936:
915:
910:
909:
866:
865:
844:
831:
818:
813:
812:
736:
731:
730:
702:
701:
675:
674:
655:
654:
620:
619:
610:may provide an
590:
585:
584:
556:
555:
524:
511:
510:
487:
486:
434:
429:
428:
409:
408:
389:
388:
315:
314:
289:
284:
283:
240:
239:
218:
205:
192:
187:
186:
141:
136:
135:
104:
103:
77:
76:
54:
53:
43:category theory
32:
23:
22:
15:
12:
11:
5:
1632:
1630:
1622:
1621:
1616:
1606:
1605:
1600:
1599:
1592:
1585:
1577:
1574:
1573:
1556:
1545:
1544:
1532:
1520:
1504:
1492:
1471:
1470:External links
1468:
1467:
1466:
1449:
1443:
1420:
1392:
1361:
1355:
1340:
1334:
1311:
1305:
1282:
1244:
1238:
1199:
1189:(3): 209–237.
1176:
1173:
1170:
1169:
1156:
1143:
1139:Masakatsu 1972
1127:
1111:
1098:
1082:
1066:
1052:
1051:
1049:
1046:
1045:
1044:
1039:
1034:
1027:
1024:
1001:
979:
976:
973:
970:
967:
944:
922:
918:
906:
905:
894:
891:
888:
885:
882:
879:
876:
873:
851:
847:
843:
838:
834:
830:
825:
821:
806:
805:
794:
787:
784:
781:
778:
775:
772:
769:
764:
757:
754:
751:
748:
743:
739:
715:
712:
709:
684:
673:in a category
662:
627:
597:
593:
569:
566:
563:
533:
528:
523:
519:
494:
470:
467:
464:
461:
458:
455:
452:
449:
446:
441:
437:
416:
407:of the object
396:
322:
296:
292:
280:
279:
268:
265:
262:
259:
256:
253:
250:
247:
225:
221:
217:
212:
208:
204:
199:
195:
180:
179:
168:
165:
162:
159:
156:
153:
148:
144:
117:
114:
111:
86:
61:
45:, a branch of
24:
14:
13:
10:
9:
6:
4:
3:
2:
1631:
1620:
1617:
1615:
1612:
1611:
1609:
1598:
1593:
1591:
1586:
1584:
1579:
1578:
1572:
1570:
1566:
1562:
1557:
1554:
1550:
1541:
1537:
1533:
1529:
1525:
1521:
1517:
1510:
1505:
1498:
1493:
1488:
1483:
1479:
1474:
1473:
1469:
1463:
1460:(in French).
1459:
1455:
1450:
1446:
1440:
1436:
1432:
1428:
1427:
1421:
1417:
1413:
1409:
1405:
1398:
1393:
1389:
1385:
1380:
1375:
1372:: 2145–2184.
1371:
1367:
1362:
1358:
1352:
1348:
1347:
1341:
1337:
1331:
1327:
1323:
1319:
1318:
1312:
1308:
1302:
1298:
1294:
1290:
1289:
1283:
1279:
1275:
1270:
1265:
1261:
1257:
1250:
1245:
1241:
1235:
1231:
1227:
1223:
1219:
1214:
1209:
1205:
1200:
1196:
1192:
1188:
1184:
1179:
1178:
1174:
1166:
1160:
1157:
1153:
1147:
1144:
1140:
1134:
1132:
1128:
1124:
1118:
1116:
1112:
1108:
1102:
1099:
1095:
1089:
1087:
1083:
1079:
1073:
1071:
1067:
1063:
1057:
1054:
1047:
1043:
1040:
1038:
1035:
1033:
1030:
1029:
1025:
1023:
1021:
1017:
977:
971:
968:
965:
956:
942:
920:
916:
892:
886:
883:
880:
874:
871:
849:
845:
841:
836:
832:
828:
823:
819:
811:
810:
809:
792:
782:
779:
776:
773:
770:
755:
752:
749:
746:
741:
737:
729:
728:
727:
713:
710:
707:
700:
660:
652:
647:
645:
641:
625:
617:
613:
591:
583:
567:
564:
561:
553:
549:
531:
508:
492:
484:
465:
462:
459:
453:
447:
439:
435:
414:
394:
386:
381:
379:
375:
371:
367:
363:
359:
355:
351:
348:
345:the product (
344:
343:characterizes
340:
336:
320:
312:
294:
290:
266:
260:
257:
254:
248:
245:
223:
219:
215:
210:
206:
202:
197:
193:
185:
184:
183:
166:
163:
160:
154:
151:
146:
142:
134:
133:
132:
131:
115:
112:
109:
102:
75:
59:
52:
48:
44:
36:
30:
19:
1569:expanding it
1558:
1539:
1527:
1524:"codiagonal"
1515:
1461:
1457:
1425:
1407:
1403:
1369:
1365:
1345:
1316:
1287:
1269:math/0607417
1262:(1): 13–63.
1259:
1255:
1203:
1186:
1182:
1175:Bibliography
1159:
1146:
1123:Laurent 2013
1101:
1056:
957:
907:
808:satisfying
807:
650:
648:
485:formed from
483:ordered pair
382:
281:
182:satisfying
181:
129:
49:, for every
40:
18:Diagonal map
1540:ncatlab.org
1528:ncatlab.org
1020:epimorphism
644:convergence
350:isomorphism
47:mathematics
1608:Categories
1487:1910.05172
1464:(1): 1–18.
1078:Faith 1973
1048:References
699:coproducts
697:where the
618:valued in
427:. Namely,
99:where the
1614:Morphisms
1416:0577-6856
1410:: 83–93.
1379:1111.2723
1165:Muro 2016
1014:with the
975:→
917:τ
875:∈
833:τ
829:∘
820:δ
763:→
753:⊔
747::
738:δ
711:⊔
614:into the
612:injection
596:∞
548:real line
522:→
469:⟩
457:⟨
436:δ
376:, namely
291:π
249:∈
207:δ
203:∘
194:π
164:×
158:→
143:δ
113:×
72:in every
1026:See also
640:sequence
378:equality
370:relation
335:morphism
74:category
1288:Algebra
1274:Bibcode
1218:Bibcode
1016:pushout
546:on the
372:on the
368:, is a
364:of the
360:, as a
313:to the
309:is the
101:product
1441:
1414:
1353:
1332:
1303:
1236:
1018:is an
908:where
481:, the
374:domain
362:subset
282:where
51:object
1559:This
1512:(PDF)
1500:(PDF)
1482:arXiv
1400:(PDF)
1374:arXiv
1264:arXiv
1252:(PDF)
1208:arXiv
552:graph
507:image
354:image
347:up to
341:that
1565:stub
1439:ISBN
1412:ISSN
1351:ISBN
1330:ISBN
1301:ISBN
1234:ISBN
958:Let
864:for
383:For
238:for
1431:doi
1384:doi
1370:368
1322:doi
1293:doi
1226:doi
1191:doi
41:In
1610::
1538:.
1526:.
1514:.
1480:.
1456:.
1437:.
1408:21
1406:.
1402:.
1382:.
1368:.
1328:.
1299:.
1272:.
1258:.
1254:.
1232:.
1224:.
1216:.
1185:.
1130:^
1114:^
1085:^
1069:^
846:id
380:.
220:id
1596:e
1589:t
1582:v
1571:.
1542:.
1530:.
1518:.
1502:.
1490:.
1484::
1462:1
1447:.
1433::
1418:.
1390:.
1386::
1376::
1359:.
1338:.
1324::
1309:.
1295::
1280:.
1276::
1266::
1260:3
1242:.
1228::
1220::
1210::
1197:.
1193::
1187:4
1167:)
1163:(
1154:)
1150:(
1137:(
1125:)
1121:(
1109:)
1105:(
1092:(
1080:)
1076:(
1064:)
1060:(
1000:C
978:Y
972:X
969::
966:f
943:l
921:l
893:.
890:}
887:2
884:,
881:1
878:{
872:l
850:b
842:=
837:l
824:b
793:b
786:]
783:d
780:I
777:,
774:d
771:I
768:[
756:b
750:b
742:b
714:b
708:b
683:C
661:b
626:X
592:X
568:x
565:=
562:y
532:2
527:R
518:R
493:x
466:x
463:,
460:x
454:=
451:)
448:x
445:(
440:a
415:a
395:x
321:k
295:k
267:,
264:}
261:2
258:,
255:1
252:{
246:k
224:a
216:=
211:a
198:k
167:a
161:a
155:a
152::
147:a
116:a
110:a
85:C
60:a
31:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.