Knowledge (XXG)

Morphism

Source πŸ“

1902: 496: 2149: 2169: 2159: 1050:. Thus in concrete categories, epimorphisms are often, but not always, surjective. The condition of being a surjection is stronger than that of being an epimorphism, but weaker than that of being a split epimorphism. In the 876:. Thus in concrete categories, monomorphisms are often, but not always, injective. The condition of being an injection is stronger than that of being a monomorphism, but weaker than that of being a split monomorphism. 645:. In practice, this is not a problem because if this disjointness does not hold, it can be assured by appending the domain and codomain to the morphisms (say, as the second and third components of an ordered triple). 1319:, and the notions of isomorphism, automorphism, endomorphism, epimorphism, and monomorphism are the same as the above defined ones. However, in the case of rings, "epimorphism" is often considered as a synonym of " 475:
For a concrete category (a category in which the objects are sets, possibly with additional structure, and the morphisms are structure-preserving functions), the identity morphism is just the
105:, on the morphisms of a category that is defined if the target of the first object equals the source of the second object. The composition of morphisms behave like function composition ( 1023:. Morphisms having a right inverse are always epimorphisms, but the converse is not true in general, as an epimorphism may fail to have a right inverse. 629:), while having different codomains. The two functions are distinct from the viewpoint of category theory. Thus many authors require that the hom-classes 66:. Although many examples of morphisms are structure-preserving maps, morphisms need not to be maps, but they can be composed in a way that is similar to 1546: 1465: 1489: 1278:
is a morphism that is both an endomorphism and an isomorphism. In every category, the automorphisms of an object always form a
1339: 594:. The term hom-set is something of a misnomer, as the collection of morphisms is not required to be a set; a category where 1539: 1517: 1168:
While every isomorphism is a bimorphism, a bimorphism is not necessarily an isomorphism. For example, in the category of
1743: 1698: 2172: 2112: 1512: 2162: 1948: 1812: 1720: 2121: 1765: 1703: 1626: 853: 2152: 2108: 1713: 1532: 480: 74: 1708: 1690: 625:, where morphisms are functions, two functions may be identical as sets of ordered pairs (may have the same 137: 1915: 1681: 1661: 1584: 1388: 249: 149: 78: 55: 116:
Morphisms and categories recur in much of contemporary mathematics. Originally, they were introduced for
1797: 1636: 621:
The domain and codomain are in fact part of the information determining a morphism. For example, in the
252:
from an object to another object. Therefore, the source and the target of a morphism are often called
1609: 1604: 1312: 67: 1182:
is a bimorphism that is not an isomorphism. However, any morphism that is both an epimorphism and a
495: 1953: 1901: 1831: 1827: 1631: 1343: 1304: 1296: 1279: 1043: 869: 626: 487: 238: 117: 59: 51: 2193: 1807: 1802: 1784: 1666: 1641: 1283: 156: 133: 121: 2116: 2053: 2041: 1943: 1868: 1863: 1821: 1817: 1599: 1594: 1507: 1485: 1461: 1196: 476: 272: 245: 110: 98: 63: 43: 1137:. If a morphism has both left-inverse and right-inverse, then the two inverses are equal, so 2077: 1963: 1938: 1873: 1858: 1853: 1792: 1621: 1589: 1384: 1324: 1268: 1169: 1051: 865: 622: 1989: 1555: 1453: 1408: 1396: 1362: 1358: 1332: 1055: 39: 2026: 2021: 2005: 1968: 1958: 1878: 1373: 1366: 1308: 2187: 2016: 1848: 1725: 1651: 1413: 1347: 642: 615: 425: 129: 106: 618:. Because hom-sets may not be sets, some people prefer to use the term "hom-class". 1770: 1671: 1316: 1275: 1223: 673: 125: 47: 2031: 2011: 1883: 1753: 1088: 894: 31: 1476: 2063: 2001: 1614: 1320: 1162: 1047: 809: 2057: 1748: 1351: 873: 868:
is not true in general; a monomorphism may fail to have a left inverse. In
2126: 1758: 1054:, the statement that every surjection has a section is equivalent to the 2096: 2086: 1735: 1646: 1377: 1328: 1300: 17: 1061:
A morphism that is both an epimorphism and a monomorphism is called a
2091: 455:
whenever all the compositions are defined, i.e. when the target of
167:. There are two objects that are associated to every morphism, the 1973: 1524: 338: 1913: 1566: 1528: 864:
Morphisms with left inverses are always monomorphisms, but the
1161:. Two objects with an isomorphism between them are said to be 1222:(that is, a morphism with identical source and target) is an 1354:(that is, isomorphisms of sets) that are not homeomorphisms. 1194:, in which every bimorphism is an isomorphism is known as a 1153:. Inverse morphisms, if they exist, are unique. The inverse 1475:
AdΓ‘mek, JiΕ™Γ­; Herrlich, Horst; Strecker, George E. (1990).
1190:
epimorphism, must be an isomorphism. A category, such as a
248:(often with some additional structure) and morphisms are 486:
The composition of morphisms is often represented by a
109:
of composition when it is defined, and existence of an
1435: 1433: 1431: 1429: 2076: 2040: 1988: 1981: 1932: 1841: 1783: 1734: 1689: 1680: 1577: 1496:Now available as free on-line edition (4.2MB PDF). 1327:that are not surjective (e.g., when embedding the 1271:of a category splits every idempotent morphism. 1540: 27:Map (arrow) between two objects of a category 8: 1186:monomorphism, or both a monomorphism and a 124:. They belong to the foundational tools of 2168: 2158: 1985: 1929: 1910: 1686: 1574: 1563: 1547: 1533: 1525: 1038:is a split epimorphism with right inverse 1046:, a function that has a right inverse is 872:, a function that has a left inverse is 287:is defined precisely when the target of 244:For many common categories, objects are 237:the latter form being better suited for 1425: 1315:, etc., the morphisms are usually the 42:that generalizes structure-preserving 1460:, vol. 2 (2nd ed.), Dover, 1157:is also an isomorphism, with inverse 502:The collection of all morphisms from 7: 879:Dually to monomorphisms, a morphism 479:, and composition is just ordinary 279:. The composition of two morphisms 961:. An epimorphism can be called an 25: 740:. A monomorphism can be called a 337:. The composition satisfies two 2167: 2157: 2148: 2147: 1900: 1478:Abstract and Concrete Categories 494: 89:, relate two objects called the 1204:Endomorphisms and automorphisms 381:, such that for every morphism 58:from a set to another set, and 1340:category of topological spaces 1234:is an idempotent endomorphism 654:Monomorphisms and epimorphisms 271:Morphisms are equipped with a 1: 1365:and isomorphisms are called 1346:and isomorphisms are called 969:as an adjective. A morphism 748:as an adjective. A morphism 202:; it is commonly written as 97:of the morphism. There is a 1842:Constructions on categories 1513:Encyclopedia of Mathematics 1091:if there exists a morphism 2210: 1949:Higher-dimensional algebra 965:for short, and we can use 744:for short, and we can use 356:, there exists a morphism 194:is a morphism with source 2143: 1922: 1909: 1898: 1573: 1562: 1484:. John Wiley & Sons. 1030:splits with left inverse 606:is a set for all objects 81:. Morphisms, also called 1361:, the morphisms are the 1342:, the morphisms are the 481:composition of functions 273:partial binary operation 1759:Cokernels and quotients 1682:Universal constructions 1439:Jacobson (2009), p. 15. 1395:For more examples, see 1389:natural transformations 1299:commonly considered in 1242:admits a decomposition 1141:is an isomorphism, and 981:if there is a morphism 760:if there is a morphism 138:algebraic number theory 1916:Higher category theory 1662:Natural transformation 1323:", although there are 1267:. In particular, the 649:Some special morphisms 132:, a generalization of 77:are constituents of a 1145:is called simply the 552:. Some authors write 305:(or sometimes simply 136:that applies also to 1785:Algebraic categories 1387:, the morphisms are 1376:, the morphisms are 1344:continuous functions 1297:algebraic structures 1011:. The right inverse 463:, and the target of 323:, and the target of 239:commutative diagrams 68:function composition 60:continuous functions 52:algebraic structures 1954:Homotopy hypothesis 1632:Commutative diagram 1372:In the category of 1357:In the category of 1044:concrete categories 870:concrete categories 847:. The left inverse 488:commutative diagram 118:homological algebra 113:for every object). 1667:Universal property 1284:automorphism group 1232:split endomorphism 1026:If a monomorphism 937:for all morphisms 758:split monomorphism 716:for all morphisms 134:algebraic geometry 122:algebraic topology 64:topological spaces 2181: 2180: 2139: 2138: 2135: 2134: 2117:monoidal category 2072: 2071: 1944:Enriched category 1896: 1895: 1892: 1891: 1869:Quotient category 1864:Opposite category 1779: 1778: 1467:978-0-486-47187-7 1325:ring epimorphisms 1197:balanced category 1170:commutative rings 1015:is also called a 979:split epimorphism 851:is also called a 477:identity function 467:is the source of 459:is the source of 375:identity morphism 352:For every object 333:is the target of 319:is the source of 309:). The source of 295:, and is denoted 291:is the source of 163:and the other of 111:identity morphism 99:partial operation 16:(Redirected from 2201: 2171: 2170: 2161: 2160: 2151: 2150: 1986: 1964:Simplex category 1939:Categorification 1930: 1911: 1904: 1874:Product category 1859:Kleisli category 1854:Functor category 1699:Terminal objects 1687: 1622:Adjoint functors 1575: 1564: 1549: 1542: 1535: 1526: 1521: 1495: 1483: 1470: 1454:Jacobson, Nathan 1440: 1437: 1385:functor category 1374:small categories 1363:smooth functions 1359:smooth manifolds 1333:rational numbers 1269:Karoubi envelope 1266: 1255: 1221: 1181: 1136: 1120: 1104: 1086: 1052:category of sets 1010: 994: 960: 936: 920: 892: 846: 807: 789: 773: 739: 715: 699: 671: 640: 623:category of sets 605: 593: 581: 569: 539: 527: 498: 454: 421: 394: 372: 349: 348: 332: 318: 304: 266: 265: 258: 257: 236: 232: 231: 230: 227: 215: 155:consists of two 38:is a concept of 21: 2209: 2208: 2204: 2203: 2202: 2200: 2199: 2198: 2184: 2183: 2182: 2177: 2131: 2101: 2068: 2045: 2036: 1993: 1977: 1928: 1918: 1905: 1888: 1837: 1775: 1744:Initial objects 1730: 1676: 1569: 1558: 1556:Category theory 1553: 1506: 1503: 1492: 1481: 1474: 1468: 1452: 1449: 1444: 1443: 1438: 1427: 1422: 1409:Normal morphism 1405: 1397:Category theory 1367:diffeomorphisms 1292: 1286:of the object. 1257: 1243: 1209: 1206: 1173: 1165:or equivalent. 1135: 1122: 1119: 1106: 1092: 1074: 1071: 1056:axiom of choice 1009: 996: 982: 951: 945: 943: 935: 928: 922: 915: 904: 898: 880: 813: 791: 788: 775: 761: 730: 724: 722: 714: 707: 701: 698: 687: 677: 659: 656: 651: 630: 595: 583: 571: 559: 553: 540:and called the 529: 517: 511: 490:. For example, 430: 420: 402: 396: 382: 363: 357: 346: 345: 324: 310: 296: 263: 262: 255: 254: 228: 223: 222: 221: 217: 203: 146: 40:category theory 28: 23: 22: 15: 12: 11: 5: 2207: 2205: 2197: 2196: 2186: 2185: 2179: 2178: 2176: 2175: 2165: 2155: 2144: 2141: 2140: 2137: 2136: 2133: 2132: 2130: 2129: 2124: 2119: 2105: 2099: 2094: 2089: 2083: 2081: 2074: 2073: 2070: 2069: 2067: 2066: 2061: 2050: 2048: 2043: 2038: 2037: 2035: 2034: 2029: 2024: 2019: 2014: 2009: 1998: 1996: 1991: 1983: 1979: 1978: 1976: 1971: 1969:String diagram 1966: 1961: 1959:Model category 1956: 1951: 1946: 1941: 1936: 1934: 1927: 1926: 1923: 1920: 1919: 1914: 1907: 1906: 1899: 1897: 1894: 1893: 1890: 1889: 1887: 1886: 1881: 1879:Comma category 1876: 1871: 1866: 1861: 1856: 1851: 1845: 1843: 1839: 1838: 1836: 1835: 1825: 1815: 1813:Abelian groups 1810: 1805: 1800: 1795: 1789: 1787: 1781: 1780: 1777: 1776: 1774: 1773: 1768: 1763: 1762: 1761: 1751: 1746: 1740: 1738: 1732: 1731: 1729: 1728: 1723: 1718: 1717: 1716: 1706: 1701: 1695: 1693: 1684: 1678: 1677: 1675: 1674: 1669: 1664: 1659: 1654: 1649: 1644: 1639: 1634: 1629: 1624: 1619: 1618: 1617: 1612: 1607: 1602: 1597: 1592: 1581: 1579: 1571: 1570: 1567: 1560: 1559: 1554: 1552: 1551: 1544: 1537: 1529: 1523: 1522: 1502: 1501:External links 1499: 1498: 1497: 1490: 1472: 1466: 1448: 1445: 1442: 1441: 1424: 1423: 1421: 1418: 1417: 1416: 1411: 1404: 1401: 1393: 1392: 1381: 1370: 1355: 1348:homeomorphisms 1336: 1291: 1288: 1205: 1202: 1172:the inclusion 1131: 1115: 1070: 1067: 1005: 949: 941: 933: 926: 913: 902: 784: 728: 720: 712: 705: 696: 685: 655: 652: 650: 647: 555: 513: 500: 499: 473: 472: 428: 423: 416: 398: 359: 350: 278: 268:respectively. 267: 259: 174: 170: 166: 162: 145: 142: 73:Morphisms and 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 2206: 2195: 2192: 2191: 2189: 2174: 2166: 2164: 2156: 2154: 2146: 2145: 2142: 2128: 2125: 2123: 2120: 2118: 2114: 2110: 2106: 2104: 2102: 2095: 2093: 2090: 2088: 2085: 2084: 2082: 2079: 2075: 2065: 2062: 2059: 2055: 2052: 2051: 2049: 2047: 2039: 2033: 2030: 2028: 2025: 2023: 2020: 2018: 2017:Tetracategory 2015: 2013: 2010: 2007: 2006:pseudofunctor 2003: 2000: 1999: 1997: 1995: 1987: 1984: 1980: 1975: 1972: 1970: 1967: 1965: 1962: 1960: 1957: 1955: 1952: 1950: 1947: 1945: 1942: 1940: 1937: 1935: 1931: 1925: 1924: 1921: 1917: 1912: 1908: 1903: 1885: 1882: 1880: 1877: 1875: 1872: 1870: 1867: 1865: 1862: 1860: 1857: 1855: 1852: 1850: 1849:Free category 1847: 1846: 1844: 1840: 1833: 1832:Vector spaces 1829: 1826: 1823: 1819: 1816: 1814: 1811: 1809: 1806: 1804: 1801: 1799: 1796: 1794: 1791: 1790: 1788: 1786: 1782: 1772: 1769: 1767: 1764: 1760: 1757: 1756: 1755: 1752: 1750: 1747: 1745: 1742: 1741: 1739: 1737: 1733: 1727: 1726:Inverse limit 1724: 1722: 1719: 1715: 1712: 1711: 1710: 1707: 1705: 1702: 1700: 1697: 1696: 1694: 1692: 1688: 1685: 1683: 1679: 1673: 1670: 1668: 1665: 1663: 1660: 1658: 1655: 1653: 1652:Kan extension 1650: 1648: 1645: 1643: 1640: 1638: 1635: 1633: 1630: 1628: 1625: 1623: 1620: 1616: 1613: 1611: 1608: 1606: 1603: 1601: 1598: 1596: 1593: 1591: 1588: 1587: 1586: 1583: 1582: 1580: 1576: 1572: 1565: 1561: 1557: 1550: 1545: 1543: 1538: 1536: 1531: 1530: 1527: 1519: 1515: 1514: 1509: 1505: 1504: 1500: 1493: 1491:0-471-60922-6 1487: 1480: 1479: 1473: 1469: 1463: 1459: 1458:Basic algebra 1455: 1451: 1450: 1446: 1436: 1434: 1432: 1430: 1426: 1419: 1415: 1414:Zero morphism 1412: 1410: 1407: 1406: 1402: 1400: 1398: 1390: 1386: 1382: 1379: 1375: 1371: 1368: 1364: 1360: 1356: 1353: 1349: 1345: 1341: 1337: 1334: 1330: 1326: 1322: 1318: 1317:homomorphisms 1314: 1310: 1306: 1302: 1298: 1294: 1293: 1289: 1287: 1285: 1282:, called the 1281: 1277: 1272: 1270: 1264: 1260: 1254: 1250: 1246: 1241: 1237: 1233: 1229: 1225: 1220: 1216: 1212: 1203: 1201: 1199: 1198: 1193: 1189: 1185: 1180: 1176: 1171: 1166: 1164: 1160: 1156: 1152: 1148: 1144: 1140: 1134: 1129: 1125: 1118: 1113: 1109: 1103: 1099: 1095: 1090: 1087:is called an 1085: 1081: 1077: 1068: 1066: 1064: 1059: 1057: 1053: 1049: 1045: 1041: 1037: 1033: 1029: 1024: 1022: 1018: 1014: 1008: 1003: 999: 993: 989: 985: 980: 976: 975:right inverse 972: 968: 964: 959: 955: 948: 940: 932: 925: 919: 912: 908: 901: 896: 893:is called an 891: 887: 883: 877: 875: 871: 867: 862: 860: 856: 855: 850: 845: 841: 837: 833: 829: 825: 821: 817: 811: 806: 802: 798: 794: 787: 782: 778: 772: 768: 764: 759: 755: 751: 747: 743: 738: 734: 727: 719: 711: 704: 695: 691: 684: 680: 675: 670: 666: 662: 653: 648: 646: 644: 638: 634: 628: 624: 619: 617: 616:locally small 613: 609: 603: 599: 591: 587: 579: 575: 567: 563: 558: 551: 547: 543: 537: 533: 525: 521: 516: 509: 505: 497: 493: 492: 491: 489: 484: 482: 478: 470: 466: 462: 458: 453: 449: 445: 441: 437: 433: 429: 427: 426:Associativity 424: 419: 414: 410: 406: 401: 393: 389: 385: 380: 376: 371: 367: 362: 355: 351: 344: 343: 342: 340: 336: 331: 327: 322: 317: 313: 308: 303: 299: 294: 290: 286: 282: 276: 274: 269: 261: 253: 251: 247: 242: 240: 235: 226: 220: 214: 210: 206: 201: 197: 193: 190: 187: 184: 181: 178: 172: 168: 164: 160: 158: 154: 151: 143: 141: 139: 135: 131: 130:scheme theory 127: 123: 119: 114: 112: 108: 107:associativity 104: 100: 96: 92: 88: 84: 80: 76: 71: 69: 65: 61: 57: 53: 49: 45: 41: 37: 33: 19: 2097: 2078:Categorified 1982:n-categories 1933:Key concepts 1771:Direct limit 1754:Coequalizers 1672:Yoneda lemma 1656: 1578:Key concepts 1568:Key concepts 1511: 1477: 1457: 1394: 1350:. There are 1276:automorphism 1273: 1262: 1258: 1252: 1248: 1244: 1239: 1235: 1231: 1227: 1224:endomorphism 1218: 1214: 1210: 1207: 1195: 1191: 1187: 1183: 1178: 1174: 1167: 1158: 1154: 1150: 1146: 1142: 1138: 1132: 1127: 1123: 1116: 1111: 1107: 1101: 1097: 1093: 1083: 1079: 1075: 1072: 1069:Isomorphisms 1062: 1060: 1039: 1035: 1031: 1027: 1025: 1020: 1016: 1012: 1006: 1001: 997: 991: 987: 983: 978: 974: 970: 966: 962: 957: 953: 946: 938: 930: 923: 917: 910: 906: 899: 889: 885: 881: 878: 863: 858: 852: 848: 843: 839: 835: 831: 827: 823: 819: 815: 804: 800: 796: 792: 785: 780: 776: 770: 766: 762: 757: 754:left inverse 753: 749: 745: 741: 736: 732: 725: 717: 709: 702: 693: 689: 682: 678: 674:monomorphism 672:is called a 668: 664: 660: 657: 636: 632: 620: 611: 607: 601: 597: 589: 585: 577: 573: 565: 561: 556: 549: 545: 541: 535: 531: 523: 519: 514: 507: 503: 501: 485: 474: 468: 464: 460: 456: 451: 447: 443: 439: 435: 431: 417: 412: 408: 404: 399: 391: 387: 383: 378: 374: 369: 365: 360: 353: 334: 329: 325: 320: 315: 311: 306: 301: 297: 292: 288: 284: 280: 270: 243: 233: 224: 218: 212: 208: 204: 199: 195: 191: 188: 185: 182: 179: 176: 152: 147: 126:Grothendieck 115: 102: 94: 90: 86: 82: 72: 48:homomorphism 35: 29: 2046:-categories 2022:Kan complex 2012:Tricategory 1994:-categories 1884:Subcategory 1642:Exponential 1610:Preadditive 1605:Pre-abelian 1208:A morphism 1089:isomorphism 1073:A morphism 895:epimorphism 812:; that is, 658:A morphism 510:is denoted 373:called the 277:composition 198:and target 103:composition 32:mathematics 2064:3-category 2054:2-category 2027:∞-groupoid 2002:Bicategory 1749:Coproducts 1709:Equalizers 1615:Bicategory 1508:"Morphism" 1447:References 1352:bijections 1321:surjection 1303:, such as 1163:isomorphic 1105:such that 1063:bimorphism 1048:surjective 995:such that 854:retraction 810:idempotent 774:such that 614:is called 528:or simply 144:Definition 2194:Morphisms 2113:Symmetric 2058:2-functor 1798:Relations 1721:Pullbacks 1518:EMS Press 874:injective 275:, called 250:functions 165:morphisms 159:, one of 101:, called 56:functions 2188:Category 2173:Glossary 2153:Category 2127:n-monoid 2080:concepts 1736:Colimits 1704:Products 1657:Morphism 1600:Concrete 1595:Additive 1585:Category 1456:(2009), 1403:See also 1378:functors 1329:integers 1290:Examples 1213: : 1096: : 1078: : 986: : 977:or is a 952: : 921:implies 884: : 866:converse 799: : 765: : 756:or is a 731: : 700:implies 663: : 643:disjoint 544:between 395:we have 386: : 364: : 347:Identity 264:codomain 207: : 177:morphism 171:and the 150:category 93:and the 79:category 62:between 50:between 46:such as 36:morphism 2163:Outline 2122:n-group 2087:2-group 2042:Strict 2032:∞-topos 1828:Modules 1766:Pushout 1714:Kernels 1647:Functor 1590:Abelian 1520:, 2001 1338:In the 1331:in the 1313:modules 1301:algebra 1147:inverse 1034:, then 1017:section 790:. Thus 542:hom-set 161:objects 157:classes 75:objects 18:Hom set 2109:Traced 2092:2-ring 1822:Fields 1808:Groups 1803:Magmas 1691:Limits 1488:  1464:  1305:groups 973:has a 752:has a 339:axioms 256:domain 173:target 169:source 95:target 91:source 87:arrows 2103:-ring 1990:Weak 1974:Topos 1818:Rings 1482:(PDF) 1420:Notes 1383:In a 1309:rings 1280:group 1256:with 1188:split 1184:split 1042:. In 746:monic 627:range 442:) = ( 1793:Sets 1486:ISBN 1462:ISBN 1295:For 1265:= id 1230:. A 1130:= id 1121:and 1114:= id 1004:= id 967:epic 834:) ∘ 822:) = 783:= id 742:mono 631:Hom( 610:and 596:Hom( 572:Mor( 548:and 530:Hom( 450:) ∘ 415:∘ id 283:and 260:and 246:sets 183:from 175:. A 120:and 83:maps 44:maps 34:, a 1637:End 1627:CCC 1274:An 1238:if 1226:of 1192:Set 1149:of 1019:of 963:epi 897:if 857:of 826:∘ ( 808:is 676:if 641:be 582:or 554:Mor 512:Hom 506:to 434:∘ ( 377:on 216:or 128:'s 85:or 30:In 2190:: 2115:) 2111:)( 1516:, 1510:, 1428:^ 1399:. 1335:). 1311:, 1307:, 1261:∘ 1251:∘ 1247:= 1217:β†’ 1200:. 1177:β†’ 1126:∘ 1110:∘ 1100:β†’ 1082:β†’ 1065:. 1058:. 1000:∘ 990:β†’ 956:β†’ 944:, 929:= 916:∘ 909:= 905:∘ 888:β†’ 861:. 842:∘ 838:= 830:∘ 818:∘ 803:β†’ 795:∘ 779:∘ 769:β†’ 735:β†’ 723:, 708:= 692:∘ 688:= 681:∘ 667:β†’ 635:, 600:, 588:, 584:C( 576:, 570:, 564:, 534:, 522:, 483:. 446:∘ 438:∘ 411:= 407:= 403:∘ 397:id 390:β†’ 368:β†’ 358:id 341:: 328:∘ 314:∘ 307:gf 300:∘ 241:. 211:β†’ 189:to 148:A 140:. 70:. 54:, 2107:( 2100:n 2098:E 2060:) 2056:( 2044:n 2008:) 2004:( 1992:n 1834:) 1830:( 1824:) 1820:( 1548:e 1541:t 1534:v 1494:. 1471:. 1391:. 1380:. 1369:. 1263:h 1259:g 1253:g 1249:h 1245:f 1240:f 1236:f 1228:X 1219:X 1215:X 1211:f 1179:Q 1175:Z 1159:f 1155:g 1151:f 1143:g 1139:f 1133:X 1128:f 1124:g 1117:Y 1112:g 1108:f 1102:X 1098:Y 1094:g 1084:Y 1080:X 1076:f 1040:f 1036:g 1032:g 1028:f 1021:f 1013:g 1007:Y 1002:g 998:f 992:X 988:Y 984:g 971:f 958:Z 954:Y 950:2 947:g 942:1 939:g 934:2 931:g 927:1 924:g 918:f 914:2 911:g 907:f 903:1 900:g 890:Y 886:X 882:f 859:f 849:g 844:g 840:f 836:g 832:f 828:g 824:f 820:g 816:f 814:( 805:Y 801:Y 797:g 793:f 786:X 781:f 777:g 771:X 767:Y 763:g 750:f 737:X 733:Z 729:2 726:g 721:1 718:g 713:2 710:g 706:1 703:g 697:2 694:g 690:f 686:1 683:g 679:f 669:Y 665:X 661:f 639:) 637:Y 633:X 612:Y 608:X 604:) 602:Y 598:X 592:) 590:Y 586:X 580:) 578:Y 574:X 568:) 566:Y 562:X 560:( 557:C 550:Y 546:X 538:) 536:Y 532:X 526:) 524:Y 520:X 518:( 515:C 508:Y 504:X 471:. 469:h 465:g 461:g 457:f 452:f 448:g 444:h 440:f 436:g 432:h 422:. 418:A 413:f 409:f 405:f 400:B 392:B 388:A 384:f 379:X 370:X 366:X 361:X 354:X 335:g 330:f 326:g 321:f 316:f 312:g 302:f 298:g 293:g 289:f 285:g 281:f 234:Y 229:β†’ 225:f 219:X 213:Y 209:X 205:f 200:Y 196:X 192:Y 186:X 180:f 153:C 20:)

Index

Hom set
mathematics
category theory
maps
homomorphism
algebraic structures
functions
continuous functions
topological spaces
function composition
objects
category
partial operation
associativity
identity morphism
homological algebra
algebraic topology
Grothendieck
scheme theory
algebraic geometry
algebraic number theory
category
classes
commutative diagrams
sets
functions
partial binary operation
axioms
Associativity
identity function

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑