42:
2034:
as shorthand for an injective function. Early category theorists believed that the correct generalization of injectivity to the context of categories was the cancellation property given above. While this is not exactly true for monic maps, it is very close, so this has caused little trouble, unlike
710:
It is not true in general, however, that all monomorphisms must be injective in other categories; that is, there are settings in which the morphisms are functions between sets, but one can have a function that is not injective and yet is a monomorphism in the categorical sense. For example, in the
259:
516:
686:
is injective is a monomorphism; in other words, if morphisms are actually functions between sets, then any morphism which is a one-to-one function will necessarily be a monomorphism in the categorical sense. In the
255:
1792:
1022:
1856:
1543:
378:
1435:
390:
1967:
1888:
287:: the intersection of anything with itself is itself. Monomorphisms generalize this property to arbitrary categories. A morphism is a monomorphism if it is idempotent with respect to
1690:
99:
1824:
1722:
1754:
1987:
1935:
1608:
1588:
1475:
1455:
1654:
1568:
764:. This is not an injective map, as for example every integer is mapped to 0. Nevertheless, it is a monomorphism in this category. This follows from the implication
2007:
1911:
1502:
1399:
2272:
1619:
2137:
2156:
2217:
177:
1759:
272:(also called "one-to-one functions"); in some categories the notions coincide, but monomorphisms are more general, as in the
945:
2176:
1331:
35:
31:
1829:
2171:
344:
1408:
695:
morphisms. The converse also holds in most naturally occurring categories of algebras because of the existence of a
511:{\displaystyle f\circ g_{1}=f\circ g_{2}\Rightarrow l\circ f\circ g_{1}=l\circ f\circ g_{2}\Rightarrow g_{1}=g_{2}.}
288:
1511:
577:
523:
318:
314:
2052:
2047:, which are monomorphisms in the categorical sense of the word. This distinction never came into general use.
1940:
1861:
1375:
683:
1663:
280:
78:
726:
between them there are monomorphisms that are not injective: consider, for example, the quotient map
1797:
1695:
2070:
1727:
539:
2166:
1972:
1920:
1593:
1573:
1460:
1440:
2267:
1627:
723:
700:
543:
269:
61:
2185:
258:
2213:
2196:
2152:
2133:
2036:
679:
121:
53:
2027:
704:
688:
295:
49:
2043:, which were maps in a concrete category whose underlying maps of sets were injective, and
1548:
1992:
1896:
1487:
1384:
716:
105:
1618:
761:
41:
2261:
1327:
719:
699:
on one generator. In particular, it is true in the categories of all groups, of all
307:
2245:
2127:
64:
534:
However, a monomorphism need not be left-invertible. For example, in the category
1611:
1478:
696:
299:
284:
2233:
2200:
17:
2075:
2065:
692:
663:
124:
1617:
1323:
40:
1326:, every mono is an equalizer, and any map that is both monic and
30:
This article is about the mathematical term. For other uses, see
2249:
2237:
2149:
Handbook of
Categorical Algebra. Volume 1: Basic Category Theory
691:
the converse also holds, so the monomorphisms are exactly the
250:{\displaystyle f\circ g_{1}=f\circ g_{2}\implies g_{1}=g_{2}.}
2195:. BRICS, Computer Science Department, University of Aarhus.
2129:
An
Invitation to General Algebra and Universal Constructions
752:
the integers (also considered a group under addition), and
1787:{\displaystyle \beta \circ \varepsilon =\mu \circ \alpha }
2039:
attempted to make a distinction between what he called
1017:{\displaystyle 0\leq {\frac {h(x)}{h(x)+1}}=h(y)<1}
2093:
2091:
1995:
1975:
1943:
1923:
1899:
1864:
1832:
1800:
1762:
1730:
1698:
1666:
1630:
1596:
1576:
1551:
1514:
1490:
1463:
1443:
1411:
1387:
948:
393:
347:
180:
81:
329:
Left-invertible morphisms are necessarily monic: if
2109:
2001:
1981:
1961:
1929:
1905:
1882:
1850:
1818:
1786:
1748:
1716:
1684:
1648:
1602:
1582:
1562:
1537:
1496:
1469:
1449:
1429:
1393:
1016:
840:. Without loss of generality, we may assume that
572:has a left inverse in the category if and only if
510:
372:
268:Monomorphisms are a categorical generalization of
249:
93:
1851:{\displaystyle \delta \circ \varepsilon =\alpha }
373:{\displaystyle l\circ f=\operatorname {id} _{X}}
1430:{\displaystyle \mu =\varphi \circ \varepsilon }
1088:To go from that implication to the fact that
8:
1538:{\displaystyle \mu =\mu '\circ \varepsilon }
220:
216:
2208:Tsalenko, M.S.; Shulgeifer, E.G. (1974).
1994:
1974:
1942:
1922:
1898:
1863:
1831:
1799:
1761:
1729:
1697:
1665:
1629:
1595:
1575:
1550:
1513:
1489:
1462:
1442:
1410:
1386:
955:
947:
499:
486:
473:
448:
423:
404:
392:
364:
346:
238:
225:
210:
191:
179:
80:
1962:{\displaystyle \varepsilon \circ \mu =1}
1883:{\displaystyle \mu \circ \delta =\beta }
874:is a divisible group, there exists some
601:is monic if and only if the induced map
302:, that is, a monomorphism in a category
257:
2097:
2087:
521:A left-invertible morphism is called a
1255:). From the implication just proved,
7:
2056:, although this has other uses too.
262:pullback of monomorphism with itself
75:is often denoted with the notation
1989:is called a left-sided inverse for
1685:{\displaystyle \varepsilon :A\to B}
1378:of some pair of parallel morphisms.
1346:There are also useful concepts of
94:{\displaystyle X\hookrightarrow Y}
25:
2050:Another name for monomorphism is
748:is the rationals under addition,
2273:Algebraic properties of elements
1590:is an epimorphism, the morphism
1457:is an epimorphism, the morphism
1313:is a monomorphism, as claimed.
1092:is a monomorphism, assume that
779:, which we will now prove. If
104:In the more general setting of
2210:Foundations of category theory
2151:. Cambridge University Press.
2110:Tsalenko & Shulgeifer 1974
2026:were originally introduced by
1819:{\displaystyle \delta :B\to C}
1810:
1740:
1717:{\displaystyle \alpha :A\to C}
1708:
1676:
1640:
1132:is some divisible group. Then
1005:
999:
981:
975:
967:
961:
568:is always a monomorphism; but
479:
429:
217:
85:
1:
1749:{\displaystyle \beta :B\to D}
1370:A monomorphism is said to be
797:is some divisible group, and
317:is a monomorphism, and every
273:
36:Polymorphism (disambiguation)
1982:{\displaystyle \varepsilon }
1930:{\displaystyle \varepsilon }
1603:{\displaystyle \varepsilon }
1583:{\displaystyle \varepsilon }
1470:{\displaystyle \varepsilon }
1450:{\displaystyle \varepsilon }
32:Monomorphic (disambiguation)
2172:Encyclopedia of Mathematics
2035:the case of epimorphisms.
1917:if there exists a morphism
1649:{\displaystyle \mu :C\to D}
1337:Every isomorphism is monic.
2289:
1794:, there exists a morphism
1508:if in each representation
1405:if in each representation
141:such that for all objects
29:
2184:Van Oosten, Jaap (1995).
2147:Borceux, Francis (1994).
855:instead). Then, letting
325:Relation to invertibility
306:is an epimorphism in the
2126:Bergman, George (2015).
298:of a monomorphism is an
2186:"Basic Category Theory"
1660:if for any epimorphism
2003:
1983:
1963:
1931:
1907:
1884:
1852:
1820:
1788:
1750:
1718:
1686:
1650:
1622:
1604:
1584:
1570:is a monomorphism and
1564:
1539:
1498:
1471:
1451:
1431:
1395:
1356:immediate monomorphism
1018:
512:
374:
333:is a left inverse for
263:
251:
95:
67:. A monomorphism from
45:
27:Injective homomorphism
2004:
1984:
1964:
1932:
1908:
1885:
1853:
1821:
1789:
1751:
1719:
1687:
1651:
1621:
1605:
1585:
1565:
1563:{\displaystyle \mu '}
1540:
1499:
1472:
1452:
1432:
1396:
1352:extremal monomorphism
1019:
760:is the corresponding
513:
375:
261:
252:
96:
44:
2193:Brics Lecture Series
2018:The companion terms
2002:{\displaystyle \mu }
1993:
1973:
1941:
1921:
1906:{\displaystyle \mu }
1897:
1862:
1830:
1798:
1760:
1728:
1696:
1664:
1628:
1610:is automatically an
1594:
1574:
1549:
1512:
1497:{\displaystyle \mu }
1488:
1477:is automatically an
1461:
1441:
1409:
1394:{\displaystyle \mu }
1385:
1348:regular monomorphism
946:
851:(otherwise, choose −
678:Every morphism in a
391:
345:
178:
127:. That is, an arrow
79:
2246:Strong monomorphism
2071:Nodal decomposition
1360:strong monomorphism
1110:for some morphisms
724:group homomorphisms
554:then the inclusion
544:group homomorphisms
321:is an epimorphism.
270:injective functions
1999:
1979:
1959:
1927:
1903:
1880:
1848:
1816:
1784:
1746:
1714:
1692:and any morphisms
1682:
1646:
1623:
1600:
1580:
1560:
1535:
1494:
1467:
1447:
1427:
1391:
1364:split monomorphism
1235:, it follows that
1078:. This says that
1041:, it follows that
1014:
939:, it follows that
916:. From this, and
648:for all morphisms
508:
370:
341:is a morphism and
283:intersections are
279:In the setting of
264:
247:
147:and all morphisms
91:
48:In the context of
46:
2139:978-3-319-11478-1
2037:Saunders Mac Lane
991:
682:whose underlying
680:concrete category
578:normal complement
550:is a subgroup of
122:left-cancellative
54:universal algebra
16:(Redirected from
2280:
2223:
2204:
2190:
2180:
2162:
2143:
2113:
2107:
2101:
2095:
2030:; Bourbaki uses
2028:Nicolas Bourbaki
2008:
2006:
2005:
2000:
1988:
1986:
1985:
1980:
1968:
1966:
1965:
1960:
1936:
1934:
1933:
1928:
1912:
1910:
1909:
1904:
1889:
1887:
1886:
1881:
1857:
1855:
1854:
1849:
1825:
1823:
1822:
1817:
1793:
1791:
1790:
1785:
1755:
1753:
1752:
1747:
1723:
1721:
1720:
1715:
1691:
1689:
1688:
1683:
1655:
1653:
1652:
1647:
1609:
1607:
1606:
1601:
1589:
1587:
1586:
1581:
1569:
1567:
1566:
1561:
1559:
1544:
1542:
1541:
1536:
1528:
1503:
1501:
1500:
1495:
1476:
1474:
1473:
1468:
1456:
1454:
1453:
1448:
1436:
1434:
1433:
1428:
1400:
1398:
1397:
1392:
1342:Related concepts
1308:
1254:
1234:
1190:
1178:
1146:
1127:
1109:
1085:, as desired.
1084:
1077:
1051:
1040:
1023:
1021:
1020:
1015:
992:
990:
970:
956:
938:
915:
893:
883:
869:
850:
839:
830:. Now fix some
829:
807:
792:
778:
743:
720:(abelian) groups
705:abelian category
689:category of sets
666:for all objects
661:
647:
626:
600:
567:
517:
515:
514:
509:
504:
503:
491:
490:
478:
477:
453:
452:
428:
427:
409:
408:
379:
377:
376:
371:
369:
368:
296:categorical dual
256:
254:
253:
248:
243:
242:
230:
229:
215:
214:
196:
195:
170:
146:
140:
100:
98:
97:
92:
74:
70:
50:abstract algebra
21:
2288:
2287:
2283:
2282:
2281:
2279:
2278:
2277:
2258:
2257:
2230:
2220:
2207:
2188:
2183:
2165:
2159:
2146:
2140:
2125:
2122:
2117:
2116:
2108:
2104:
2096:
2089:
2084:
2062:
2016:
1991:
1990:
1971:
1970:
1939:
1938:
1919:
1918:
1895:
1894:
1893:A monomorphism
1860:
1859:
1828:
1827:
1796:
1795:
1758:
1757:
1726:
1725:
1694:
1693:
1662:
1661:
1626:
1625:
1624:A monomorphism
1592:
1591:
1572:
1571:
1552:
1547:
1546:
1521:
1510:
1509:
1486:
1485:
1484:A monomorphism
1459:
1458:
1439:
1438:
1407:
1406:
1383:
1382:
1381:A monomorphism
1344:
1319:
1256:
1236:
1192:
1180:
1148:
1133:
1111:
1093:
1079:
1053:
1042:
1028:
971:
957:
944:
943:
917:
895:
885:
875:
856:
841:
831:
809:
798:
780:
765:
727:
676:
649:
634:
628:
608:
602:
588:
555:
546:among them, if
495:
482:
469:
444:
419:
400:
389:
388:
360:
343:
342:
327:
234:
221:
206:
187:
176:
175:
161:
154:
148:
142:
128:
112:(also called a
106:category theory
77:
76:
72:
68:
39:
28:
23:
22:
15:
12:
11:
5:
2286:
2284:
2276:
2275:
2270:
2260:
2259:
2256:
2255:
2243:
2229:
2228:External links
2226:
2225:
2224:
2218:
2205:
2181:
2167:"Monomorphism"
2163:
2158:978-0521061193
2157:
2144:
2138:
2121:
2118:
2115:
2114:
2102:
2086:
2085:
2083:
2080:
2079:
2078:
2073:
2068:
2061:
2058:
2015:
2012:
2011:
2010:
1998:
1978:
1969:(in this case
1958:
1955:
1952:
1949:
1946:
1926:
1913:is said to be
1902:
1891:
1879:
1876:
1873:
1870:
1867:
1847:
1844:
1841:
1838:
1835:
1815:
1812:
1809:
1806:
1803:
1783:
1780:
1777:
1774:
1771:
1768:
1765:
1745:
1742:
1739:
1736:
1733:
1713:
1710:
1707:
1704:
1701:
1681:
1678:
1675:
1672:
1669:
1656:is said to be
1645:
1642:
1639:
1636:
1633:
1615:
1599:
1579:
1558:
1555:
1534:
1531:
1527:
1524:
1520:
1517:
1504:is said to be
1493:
1482:
1466:
1446:
1426:
1423:
1420:
1417:
1414:
1401:is said to be
1390:
1379:
1343:
1340:
1339:
1338:
1335:
1318:
1315:
1025:
1024:
1013:
1010:
1007:
1004:
1001:
998:
995:
989:
986:
983:
980:
977:
974:
969:
966:
963:
960:
954:
951:
762:quotient group
675:
672:
632:
606:
519:
518:
507:
502:
498:
494:
489:
485:
481:
476:
472:
468:
465:
462:
459:
456:
451:
447:
443:
440:
437:
434:
431:
426:
422:
418:
415:
412:
407:
403:
399:
396:
367:
363:
359:
356:
353:
350:
326:
323:
274:examples below
266:
265:
246:
241:
237:
233:
228:
224:
219:
213:
209:
205:
202:
199:
194:
190:
186:
183:
159:
152:
114:monic morphism
90:
87:
84:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
2285:
2274:
2271:
2269:
2266:
2265:
2263:
2254:
2252:
2247:
2244:
2242:
2240:
2235:
2232:
2231:
2227:
2221:
2219:5-02-014427-4
2215:
2211:
2206:
2202:
2198:
2194:
2187:
2182:
2178:
2174:
2173:
2168:
2164:
2160:
2154:
2150:
2145:
2141:
2135:
2131:
2130:
2124:
2123:
2119:
2111:
2106:
2103:
2099:
2094:
2092:
2088:
2081:
2077:
2074:
2072:
2069:
2067:
2064:
2063:
2059:
2057:
2055:
2054:
2048:
2046:
2042:
2041:monomorphisms
2038:
2033:
2029:
2025:
2021:
2013:
1996:
1976:
1956:
1953:
1950:
1947:
1944:
1924:
1916:
1900:
1892:
1877:
1874:
1871:
1868:
1865:
1845:
1842:
1839:
1836:
1833:
1813:
1807:
1804:
1801:
1781:
1778:
1775:
1772:
1769:
1766:
1763:
1743:
1737:
1734:
1731:
1711:
1705:
1702:
1699:
1679:
1673:
1670:
1667:
1659:
1643:
1637:
1634:
1631:
1620:
1616:
1613:
1597:
1577:
1556:
1553:
1532:
1529:
1525:
1522:
1518:
1515:
1507:
1491:
1483:
1480:
1464:
1444:
1424:
1421:
1418:
1415:
1412:
1404:
1388:
1380:
1377:
1373:
1369:
1368:
1367:
1365:
1361:
1357:
1353:
1349:
1341:
1336:
1333:
1329:
1325:
1321:
1320:
1316:
1314:
1312:
1307:
1303:
1299:
1295:
1291:
1287:
1283:
1279:
1275:
1271:
1267:
1263:
1259:
1252:
1248:
1244:
1240:
1232:
1228:
1224:
1220:
1216:
1212:
1208:
1204:
1200:
1196:
1188:
1184:
1176:
1172:
1168:
1164:
1160:
1156:
1152:
1144:
1140:
1136:
1131:
1126:
1122:
1118:
1114:
1108:
1104:
1100:
1096:
1091:
1086:
1082:
1076:
1072:
1068:
1064:
1060:
1056:
1049:
1045:
1039:
1035:
1031:
1011:
1008:
1002:
996:
993:
987:
984:
978:
972:
964:
958:
952:
949:
942:
941:
940:
937:
933:
929:
925:
921:
913:
909:
906:
902:
898:
892:
888:
882:
878:
873:
867:
863:
859:
854:
848:
844:
838:
834:
828:
824:
820:
816:
812:
805:
801:
796:
791:
787:
783:
776:
772:
768:
763:
759:
755:
751:
747:
742:
738:
734:
730:
725:
721:
718:
714:
708:
706:
703:, and in any
702:
698:
694:
690:
685:
681:
673:
671:
669:
665:
660:
656:
652:
646:
642:
638:
631:
627:, defined by
624:
620:
616:
612:
605:
599:
595:
591:
585:
583:
579:
575:
571:
566:
562:
558:
553:
549:
545:
541:
537:
532:
530:
526:
525:
505:
500:
496:
492:
487:
483:
474:
470:
466:
463:
460:
457:
454:
449:
445:
441:
438:
435:
432:
424:
420:
416:
413:
410:
405:
401:
397:
394:
387:
386:
385:
384:is monic, as
383:
365:
361:
357:
354:
351:
348:
340:
336:
332:
324:
322:
320:
316:
312:
309:
308:dual category
305:
301:
297:
292:
290:
286:
282:
277:
275:
271:
260:
244:
239:
235:
231:
226:
222:
211:
207:
203:
200:
197:
192:
188:
184:
181:
174:
173:
172:
169:
165:
158:
151:
145:
139:
135:
131:
126:
123:
119:
115:
111:
107:
102:
88:
82:
66:
63:
59:
55:
51:
43:
37:
33:
19:
18:Monomorphisms
2250:
2238:
2234:monomorphism
2209:
2192:
2170:
2148:
2132:. Springer.
2128:
2105:
2098:Borceux 1994
2051:
2049:
2044:
2040:
2032:monomorphism
2031:
2023:
2020:monomorphism
2019:
2017:
1914:
1657:
1505:
1402:
1374:if it is an
1371:
1363:
1359:
1355:
1351:
1347:
1345:
1310:
1305:
1301:
1297:
1293:
1289:
1285:
1281:
1277:
1273:
1269:
1265:
1261:
1257:
1250:
1246:
1242:
1238:
1230:
1226:
1222:
1218:
1214:
1210:
1206:
1202:
1198:
1194:
1186:
1182:
1174:
1170:
1166:
1162:
1158:
1154:
1150:
1142:
1138:
1134:
1129:
1124:
1120:
1116:
1112:
1106:
1102:
1098:
1094:
1089:
1087:
1080:
1074:
1070:
1066:
1062:
1058:
1054:
1047:
1043:
1037:
1033:
1029:
1026:
935:
931:
927:
923:
919:
911:
907:
904:
900:
896:
890:
886:
880:
876:
871:
865:
861:
857:
852:
846:
842:
836:
832:
826:
822:
818:
814:
810:
803:
799:
794:
789:
785:
781:
774:
770:
766:
757:
753:
749:
745:
740:
736:
732:
728:
712:
709:
677:
667:
658:
654:
650:
644:
640:
636:
629:
622:
618:
614:
610:
609: : Hom(
603:
597:
593:
589:
586:
581:
573:
569:
564:
560:
556:
551:
547:
535:
533:
528:
522:
520:
381:
338:
334:
330:
328:
310:
303:
293:
278:
267:
167:
163:
156:
149:
143:
137:
133:
129:
117:
113:
110:monomorphism
109:
103:
65:homomorphism
58:monomorphism
57:
47:
2024:epimorphism
2014:Terminology
1612:isomorphism
1479:isomorphism
1332:isomorphism
1052:, and thus
697:free object
587:A morphism
300:epimorphism
2262:Categories
2120:References
2045:monic maps
1937:such that
1826:such that
1756:such that
1317:Properties
1179:. (Since
884:such that
524:split mono
319:retraction
285:idempotent
2268:Morphisms
2212:. Nauka.
2201:1395-2048
2177:EMS Press
2076:Subobject
2066:Embedding
2053:extension
1997:μ
1977:ε
1951:μ
1948:∘
1945:ε
1925:ε
1901:μ
1878:β
1872:δ
1869:∘
1866:μ
1846:α
1840:ε
1837:∘
1834:δ
1811:→
1802:δ
1782:α
1779:∘
1776:μ
1770:ε
1767:∘
1764:β
1741:→
1732:β
1709:→
1700:α
1677:→
1668:ε
1641:→
1632:μ
1598:ε
1578:ε
1554:μ
1533:ε
1530:∘
1523:μ
1516:μ
1506:immediate
1492:μ
1465:ε
1445:ε
1425:ε
1422:∘
1419:φ
1413:μ
1389:μ
1376:equalizer
1309:. Hence
1276:= 0 ⇔ ∀
1268:) = 0 ⇒
1157:) :
953:≤
717:divisible
711:category
693:injective
664:injective
480:⇒
467:∘
461:∘
442:∘
436:∘
430:⇒
417:∘
398:∘
352:∘
337:(meaning
289:pullbacks
218:⟹
204:∘
185:∘
86:↪
62:injective
2060:See also
1557:′
1545:, where
1526:′
1437:, where
1403:extremal
1245:) ∈ Hom(
1189:)(0) = 0
1147:, where
1128:, where
1119: :
1061:) = 0 =
934:) + 1 =
870:, since
793:, where
784: :
744:, where
731: :
684:function
674:Examples
653: :
617:) → Hom(
592: :
559: :
380:), then
313:. Every
132: :
125:morphism
2248:at the
2236:at the
2179:, 2001
1372:regular
926:) <
808:, then
538:of all
529:section
315:section
120:) is a
2216:
2199:
2155:
2136:
1658:strong
1362:, and
1330:is an
1191:, and
1027:Since
773:= 0 ⇒
576:has a
540:groups
281:posets
60:is an
2189:(PDF)
2082:Notes
1915:split
1324:topos
1322:In a
1221:) + (
1209:) = (
1145:) = 0
1069:), ∀
1050:) = 0
894:, so
868:) + 1
849:) ≥ 0
701:rings
662:, is
536:Group
527:or a
116:or a
2214:ISBN
2197:ISSN
2153:ISBN
2134:ISBN
2022:and
1858:and
1724:and
1328:epic
1300:) ⇔
1292:) =
1169:) −
1036:) ∈
1009:<
918:0 ≤
903:) =
821:, ∀
817:) ∈
722:and
639:) =
542:and
294:The
118:mono
108:, a
56:, a
34:and
2253:Lab
2241:Lab
1366:.
1260:∘ (
1137:∘ (
1083:= 0
806:= 0
777:= 0
715:of
713:Div
584:.
580:in
531:.
71:to
52:or
2264::
2191:.
2175:,
2169:,
2090:^
2009:).
1358:,
1354:,
1350:,
1304:=
1284:,
1280:∈
1272:−
1264:−
1249:,
1241:−
1229:)(
1225:−
1217:)(
1213:−
1205:+
1201:)(
1197:−
1185:−
1161:↦
1153:−
1141:−
1123:→
1115:,
1105:∘
1101:=
1097:∘
1073:∈
1065:(−
891:ny
889:=
879:∈
860:=
835:∈
825:∈
802:∘
788:→
769:∘
735:→
707:.
670:.
657:→
643:∘
621:,
613:,
596:→
563:→
362:id
291:.
276:.
171:,
166:→
162::
155:,
136:→
101:.
2251:n
2239:n
2222:.
2203:.
2161:.
2142:.
2112:.
2100:.
1957:1
1954:=
1890:.
1875:=
1843:=
1814:C
1808:B
1805::
1773:=
1744:D
1738:B
1735::
1712:C
1706:A
1703::
1680:B
1674:A
1671::
1644:D
1638:C
1635::
1614:.
1519:=
1481:.
1416:=
1334:.
1311:q
1306:g
1302:f
1298:x
1296:(
1294:g
1290:x
1288:(
1286:f
1282:G
1278:x
1274:g
1270:f
1266:g
1262:f
1258:q
1253:)
1251:Q
1247:G
1243:g
1239:f
1237:(
1233:)
1231:y
1227:g
1223:f
1219:x
1215:g
1211:f
1207:y
1203:x
1199:g
1195:f
1193:(
1187:g
1183:f
1181:(
1177:)
1175:x
1173:(
1171:g
1167:x
1165:(
1163:f
1159:x
1155:g
1151:f
1149:(
1143:g
1139:f
1135:q
1130:G
1125:Q
1121:G
1117:g
1113:f
1107:g
1103:q
1099:f
1095:q
1090:q
1081:h
1075:G
1071:x
1067:x
1063:h
1059:x
1057:(
1055:h
1048:y
1046:(
1044:h
1038:Z
1034:y
1032:(
1030:h
1012:1
1006:)
1003:y
1000:(
997:h
994:=
988:1
985:+
982:)
979:x
976:(
973:h
968:)
965:x
962:(
959:h
950:0
936:n
932:x
930:(
928:h
924:x
922:(
920:h
914:)
912:y
910:(
908:h
905:n
901:x
899:(
897:h
887:x
881:G
877:y
872:G
866:x
864:(
862:h
858:n
853:x
847:x
845:(
843:h
837:G
833:x
827:G
823:x
819:Z
815:x
813:(
811:h
804:h
800:q
795:G
790:Q
786:G
782:h
775:h
771:h
767:q
758:Z
756:/
754:Q
750:Z
746:Q
741:Z
739:/
737:Q
733:Q
729:q
668:Z
659:X
655:Z
651:h
645:h
641:f
637:h
635:(
633:∗
630:f
625:)
623:Y
619:Z
615:X
611:Z
607:∗
604:f
598:Y
594:X
590:f
582:G
574:H
570:f
565:G
561:H
557:f
552:G
548:H
506:.
501:2
497:g
493:=
488:1
484:g
475:2
471:g
464:f
458:l
455:=
450:1
446:g
439:f
433:l
425:2
421:g
414:f
411:=
406:1
402:g
395:f
382:f
366:X
358:=
355:f
349:l
339:l
335:f
331:l
311:C
304:C
245:.
240:2
236:g
232:=
227:1
223:g
212:2
208:g
201:f
198:=
193:1
189:g
182:f
168:X
164:Z
160:2
157:g
153:1
150:g
144:Z
138:Y
134:X
130:f
89:Y
83:X
73:Y
69:X
38:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.