2562:
913:
1834:
2723:
1728:
1077:
745:
1436:
176:
654:
2445:
2335:
and the generalised
Whitehead products. The proof of this theorem uses a higher homotopy van Kampen type theorem for triadic homotopy groups, which requires a notion of the fundamental
2360:
362:
2479:
557:
255:
2291:
2333:
297:
2600:
2231:
2139:
1310:
480:
1200:
1346:
2177:
1268:
1881:
2471:
2085:
2047:
1592:
399:
2635:
1630:
1516:
1226:
991:
583:
506:
2774:
2009:
1977:
1945:
1913:
1152:
965:
436:
1542:
778:
1462:
1486:
1120:
1100:
3007:
2979:
2950:
2701:
2673:
2997:
1548:
for relative homotopy groups, whose proof requires development of techniques of a cubical higher homotopy groupoid of a filtered space.
786:
2814:
1739:
1638:
999:
667:
2967:
2938:
1365:
107:
588:
1489:
2721:(2004), "A quick proof of the rational Hurewicz theorem and a computation of the rational homotopy groups of spheres",
2400:
2665:
2557:{\displaystyle h\otimes \mathbb {Q} \colon \pi _{i}(X)\otimes \mathbb {Q} \longrightarrow H_{i}(X;\mathbb {Q} )}
3002:
661:
657:
2338:
302:
1082:
from relative homotopy groups to relative homology groups. The
Relative Hurewicz Theorem states that if both
511:
204:
2868:
198:
2801:, Contemporary Mathematics, vol. 96, Providence, RI: American Mathematical Society, pp. 39–57,
2236:
2296:
2859:
Brown, R.; Loday, J.-L. (1987), "Homotopical excision, and
Hurewicz theorems, for n-cubes of spaces",
260:
2732:
2873:
2570:
2182:
2090:
2959:
1273:
916:
443:
1157:
2899:
2748:
1545:
1315:
99:
39:
2144:
1231:
1854:
2975:
2946:
2916:
2886:
2848:
2810:
2769:
2697:
2669:
920:
781:
368:
59:
2450:
2052:
2014:
1559:
378:
201:(with integer coefficients). It is given in the following way: choose a canonical generator
2908:
2878:
2840:
2802:
2740:
2605:
1609:
1495:
1205:
970:
933:
562:
485:
2824:
1982:
1950:
1918:
1886:
1125:
938:
409:
2971:
2942:
2820:
1465:
55:
47:
43:
1521:
757:
2736:
1444:
2931:
2831:
Brown, Ronald; Higgins, P. J. (1981), "Colimit theorems for relative homotopy groups",
2718:
2379:
1471:
1105:
1085:
190:
87:
75:
71:
2991:
2912:
2844:
2752:
2657:
17:
1352:
by induction, proving in turn the absolute version and the
Homotopy Addition Lemma.
2765:
2689:
2806:
748:
406:
31:
2882:
2897:
Brown, R.; Loday, J.-L. (1987), "Van Kampen theorems for diagrams of spaces",
2744:
2920:
2890:
2852:
2696:, Progress in Mathematics, vol. 174, Basel, Boston, Berlin: Birkhäuser,
2797:
Brown, Ronald (1989), "Triadic Van Kampen theorems and
Hurewicz theorems",
367:
The
Hurewicz theorem states cases in which the Hurewicz homomorphism is an
2772:(1952), "Espaces fibrés et groupes d'homotopie, II, Applications",
2374:
The
Hurewicz theorem for topological spaces can also be stated for
1733:
from triad homotopy groups to triad homology groups. Note that
2724:
Mathematical
Proceedings of the Cambridge Philosophical Society
908:{\displaystyle {\tilde {h}}_{*}\colon \pi _{1}(X)/\to H_{1}(X)}
664:
when the latter is at least 1. In addition, the
Hurewicz map
1829:{\displaystyle H_{k}(X;A,B)\cong H_{k}(X\cup (C(A\cup B))).}
27:
Gives a homomorphism from homotopy groups to homology groups
1723:{\displaystyle h_{*}\colon \pi _{k}(X;A,B)\to H_{k}(X;A,B)}
656:
is an isomorphism. This implies, in particular, that the
1072:{\displaystyle h_{*}\colon \pi _{k}(X,A)\to H_{k}(X,A)}
740:{\displaystyle h_{*}\colon \pi _{n+1}(X)\to H_{n+1}(X)}
2608:
2573:
2482:
2453:
2403:
2341:
2299:
2239:
2185:
2147:
2093:
2055:
2017:
1985:
1953:
1921:
1889:
1857:
1742:
1641:
1612:
1562:
1524:
1498:
1474:
1447:
1368:
1318:
1276:
1234:
1208:
1160:
1128:
1108:
1088:
1002:
973:
941:
789:
760:
670:
591:
565:
514:
488:
446:
412:
381:
305:
263:
207:
110:
1431:{\displaystyle \pi _{n}(X,A)\to \pi _{n}(X\cup CA),}
171:{\displaystyle h_{*}\colon \pi _{n}(X)\to H_{n}(X),}
649:{\displaystyle h_{*}\colon \pi _{n}(X)\to H_{n}(X)}
2930:
2629:
2594:
2556:
2465:
2439:
2354:
2327:
2285:
2225:
2171:
2133:
2079:
2041:
2003:
1971:
1939:
1907:
1875:
1828:
1722:
1624:
1586:
1544:), which itself is deduced from a higher homotopy
1536:
1510:
1480:
1456:
1430:
1355:This relative Hurewicz theorem is reformulated by
1340:
1304:
1262:
1220:
1194:
1146:
1114:
1094:
1071:
985:
959:
907:
772:
739:
648:
577:
551:
500:
474:
430:
393:
356:
291:
249:
170:
2440:{\displaystyle \pi _{i}(X)\otimes \mathbb {Q} =0}
2861:Proceedings of the London Mathematical Society
2397:be a simply connected topological space with
70:The Hurewicz theorems are a key link between
8:
1839:The Triadic Hurewicz Theorem states that if
1356:
2872:
2775:Comptes rendus de l'Académie des Sciences
2607:
2572:
2547:
2546:
2531:
2520:
2519:
2501:
2490:
2489:
2481:
2452:
2427:
2426:
2408:
2402:
2346:
2340:
2304:
2298:
2244:
2238:
2190:
2184:
2146:
2098:
2092:
2054:
2016:
1984:
1952:
1920:
1888:
1856:
1781:
1747:
1741:
1693:
1659:
1646:
1640:
1611:
1561:
1523:
1497:
1473:
1446:
1401:
1373:
1367:
1349:
1323:
1317:
1281:
1275:
1239:
1233:
1207:
1165:
1159:
1127:
1107:
1087:
1048:
1020:
1007:
1001:
972:
940:
890:
865:
843:
831:
816:
803:
792:
791:
788:
759:
716:
688:
675:
669:
631:
609:
596:
590:
564:
522:
516:
515:
513:
487:
451:
445:
411:
380:
339:
323:
310:
304:
274:
262:
238:
225:
212:
206:
150:
128:
115:
109:
2355:{\displaystyle \operatorname {cat} ^{n}}
2011:-connected, respectively, and the triad
1488:. This statement is a special case of a
357:{\displaystyle f_{*}(u_{n})\in H_{n}(X)}
2799:Algebraic topology (Evanston, IL, 1988)
2646:
780:, the Hurewicz homomorphism induces an
2933:An Introduction to Algebraic Topology
552:{\displaystyle {\tilde {H_{i}}}(X)=0}
250:{\displaystyle u_{n}\in H_{n}(S^{n})}
58:, and generalizes earlier results of
7:
2652:
2650:
2833:Journal of Pure and Applied Algebra
2286:{\displaystyle \pi _{p+q-1}(X;A,B)}
1359:as a statement about the morphism
1348:. This is proved in, for example,
25:
2328:{\displaystyle \pi _{1}(A\cap B)}
919:of the first homotopy group (the
1492:, involving induced modules for
292:{\displaystyle f\in \pi _{n}(X)}
257:, then a homotopy class of maps
2293:by factoring out the action of
1312:by factoring out the action of
923:) and the first homology group.
3008:Theorems in algebraic topology
2595:{\displaystyle 1\leq i\leq 2r}
2551:
2537:
2524:
2513:
2507:
2420:
2414:
2382:satisfying the Kan condition.
2322:
2310:
2280:
2262:
2226:{\displaystyle H_{p+q-1}(X;A)}
2220:
2208:
2134:{\displaystyle H_{k}(X;A,B)=0}
2122:
2104:
2074:
2056:
2036:
2018:
1998:
1986:
1966:
1954:
1934:
1922:
1902:
1890:
1820:
1817:
1814:
1802:
1796:
1787:
1771:
1753:
1717:
1699:
1686:
1683:
1665:
1581:
1563:
1422:
1407:
1394:
1391:
1379:
1335:
1329:
1299:
1287:
1257:
1245:
1183:
1171:
1141:
1129:
1122:are connected and the pair is
1066:
1054:
1041:
1038:
1026:
954:
942:
902:
896:
883:
880:
877:
871:
855:
849:
836:
828:
822:
797:
734:
728:
709:
706:
700:
643:
637:
624:
621:
615:
540:
534:
528:
463:
457:
425:
413:
351:
345:
329:
316:
286:
280:
244:
231:
162:
156:
143:
140:
134:
1:
2968:Graduate Texts in Mathematics
2939:Graduate Texts in Mathematics
1305:{\displaystyle \pi _{n}(X,A)}
475:{\displaystyle \pi _{i}(X)=0}
54:. The theorem is named after
2913:10.1016/0040-9383(87)90004-8
2845:10.1016/0022-4049(81)90080-3
1632:there exists a homomorphism
1490:homotopical excision theorem
1195:{\displaystyle H_{k}(X,A)=0}
993:there exists a homomorphism
2998:Theorems in homotopy theory
2964:Elements of Homotopy Theory
2567:induces an isomorphism for
1341:{\displaystyle \pi _{1}(A)}
3024:
2929:Rotman, Joseph J. (1988),
2694:Simplicial Homotopy Theory
2666:Cambridge University Press
2391:Rational Hurewicz theorem:
2172:{\displaystyle k<p+q-2}
1357:Brown & Higgins (1981)
1263:{\displaystyle H_{n}(X,A)}
2745:10.1017/s0305004103007114
2473:. Then the Hurewicz map
2386:Rational Hurewicz theorem
1883:are connected, the pairs
1876:{\displaystyle C=A\cap B}
66:Statement of the theorems
2945:(published 1998-07-22),
2883:10.1112/plms/s3-54.1.176
2807:10.1090/conm/096/1022673
1556:For any triad of spaces
662:homotopical connectivity
658:homological connectivity
2690:Jardine, John Frederick
2466:{\displaystyle i\leq r}
2080:{\displaystyle (p+q-2)}
2042:{\displaystyle (X;A,B)}
1587:{\displaystyle (X;A,B)}
585:, and the Hurewicz map
394:{\displaystyle n\geq 2}
50:via a map known as the
2631:
2630:{\displaystyle i=2r+1}
2596:
2558:
2467:
2441:
2370:Simplicial set version
2356:
2329:
2287:
2227:
2173:
2135:
2081:
2043:
2005:
1973:
1941:
1909:
1877:
1830:
1724:
1626:
1625:{\displaystyle k>2}
1588:
1538:
1512:
1511:{\displaystyle n>2}
1482:
1458:
1432:
1342:
1306:
1264:
1222:
1221:{\displaystyle k<n}
1196:
1148:
1116:
1096:
1073:
987:
986:{\displaystyle k>1}
961:
909:
774:
741:
650:
579:
578:{\displaystyle i<n}
553:
502:
501:{\displaystyle i<n}
476:
432:
395:
358:
293:
251:
172:
2632:
2602:and a surjection for
2597:
2559:
2468:
2442:
2357:
2330:
2288:
2228:
2174:
2136:
2082:
2044:
2006:
2004:{\displaystyle (q-1)}
1974:
1972:{\displaystyle (p-1)}
1942:
1940:{\displaystyle (B,C)}
1910:
1908:{\displaystyle (A,C)}
1878:
1831:
1725:
1627:
1589:
1539:
1513:
1483:
1459:
1433:
1343:
1307:
1265:
1223:
1197:
1149:
1147:{\displaystyle (n-1)}
1117:
1097:
1074:
988:
962:
960:{\displaystyle (X,A)}
910:
775:
742:
651:
580:
554:
503:
477:
433:
431:{\displaystyle (n-1)}
396:
359:
294:
252:
183:Hurewicz homomorphism
173:
94:and positive integer
52:Hurewicz homomorphism
38:is a basic result of
18:Hurewicz homomorphism
2960:Whitehead, George W.
2606:
2571:
2480:
2451:
2401:
2339:
2297:
2237:
2183:
2145:
2091:
2053:
2015:
1983:
1951:
1919:
1887:
1855:
1740:
1639:
1610:
1560:
1522:
1518:(crossed modules if
1496:
1472:
1445:
1366:
1316:
1274:
1232:
1206:
1158:
1126:
1106:
1086:
1000:
971:
939:
787:
758:
668:
589:
563:
512:
486:
444:
410:
379:
303:
261:
205:
108:
2737:2004MPCPS.136..617K
1537:{\displaystyle n=2}
773:{\displaystyle n=1}
2770:Serre, Jean-Pierre
2662:Algebraic Topology
2627:
2592:
2554:
2463:
2437:
2352:
2325:
2283:
2223:
2169:
2131:
2077:
2039:
2001:
1969:
1937:
1905:
1873:
1826:
1720:
1622:
1584:
1546:van Kampen theorem
1534:
1508:
1478:
1457:{\displaystyle CA}
1454:
1428:
1338:
1302:
1260:
1218:
1192:
1144:
1112:
1092:
1069:
983:
957:
905:
770:
737:
646:
575:
549:
498:
472:
428:
391:
354:
289:
247:
168:
100:group homomorphism
40:algebraic topology
2981:978-0-387-90336-1
2952:978-0-387-96678-6
2941:, vol. 119,
2703:978-3-7643-6064-1
2688:Goerss, Paul G.;
2675:978-0-521-79160-1
2366:-cube of spaces.
2233:is obtained from
2087:-connected, then
1481:{\displaystyle A}
1270:is obtained from
1115:{\displaystyle A}
1095:{\displaystyle X}
921:fundamental group
800:
531:
16:(Redirected from
3015:
2984:
2970:, vol. 61,
2955:
2936:
2923:
2893:
2876:
2863:, Third Series,
2855:
2827:
2784:
2783:
2762:
2756:
2755:
2717:Klaus, Stephan;
2714:
2708:
2706:
2685:
2679:
2678:
2654:
2636:
2634:
2633:
2628:
2601:
2599:
2598:
2593:
2563:
2561:
2560:
2555:
2550:
2536:
2535:
2523:
2506:
2505:
2493:
2472:
2470:
2469:
2464:
2446:
2444:
2443:
2438:
2430:
2413:
2412:
2361:
2359:
2358:
2353:
2351:
2350:
2334:
2332:
2331:
2326:
2309:
2308:
2292:
2290:
2289:
2284:
2261:
2260:
2232:
2230:
2229:
2224:
2207:
2206:
2178:
2176:
2175:
2170:
2140:
2138:
2137:
2132:
2103:
2102:
2086:
2084:
2083:
2078:
2048:
2046:
2045:
2040:
2010:
2008:
2007:
2002:
1978:
1976:
1975:
1970:
1946:
1944:
1943:
1938:
1914:
1912:
1911:
1906:
1882:
1880:
1879:
1874:
1835:
1833:
1832:
1827:
1786:
1785:
1752:
1751:
1729:
1727:
1726:
1721:
1698:
1697:
1664:
1663:
1651:
1650:
1631:
1629:
1628:
1623:
1593:
1591:
1590:
1585:
1543:
1541:
1540:
1535:
1517:
1515:
1514:
1509:
1487:
1485:
1484:
1479:
1463:
1461:
1460:
1455:
1437:
1435:
1434:
1429:
1406:
1405:
1378:
1377:
1350:Whitehead (1978)
1347:
1345:
1344:
1339:
1328:
1327:
1311:
1309:
1308:
1303:
1286:
1285:
1269:
1267:
1266:
1261:
1244:
1243:
1227:
1225:
1224:
1219:
1201:
1199:
1198:
1193:
1170:
1169:
1154:-connected then
1153:
1151:
1150:
1145:
1121:
1119:
1118:
1113:
1101:
1099:
1098:
1093:
1078:
1076:
1075:
1070:
1053:
1052:
1025:
1024:
1012:
1011:
992:
990:
989:
984:
966:
964:
963:
958:
928:Relative version
914:
912:
911:
906:
895:
894:
870:
869:
848:
847:
835:
821:
820:
808:
807:
802:
801:
793:
779:
777:
776:
771:
746:
744:
743:
738:
727:
726:
699:
698:
680:
679:
655:
653:
652:
647:
636:
635:
614:
613:
601:
600:
584:
582:
581:
576:
558:
556:
555:
550:
533:
532:
527:
526:
517:
507:
505:
504:
499:
481:
479:
478:
473:
456:
455:
437:
435:
434:
429:
400:
398:
397:
392:
363:
361:
360:
355:
344:
343:
328:
327:
315:
314:
298:
296:
295:
290:
279:
278:
256:
254:
253:
248:
243:
242:
230:
229:
217:
216:
177:
175:
174:
169:
155:
154:
133:
132:
120:
119:
82:Absolute version
36:Hurewicz theorem
21:
3023:
3022:
3018:
3017:
3016:
3014:
3013:
3012:
3003:Homology theory
2988:
2987:
2982:
2972:Springer-Verlag
2958:
2953:
2943:Springer-Verlag
2928:
2896:
2874:10.1.1.168.1325
2858:
2830:
2817:
2796:
2793:
2788:
2787:
2764:
2763:
2759:
2719:Kreck, Matthias
2716:
2715:
2711:
2704:
2687:
2686:
2682:
2676:
2656:
2655:
2648:
2643:
2604:
2603:
2569:
2568:
2527:
2497:
2478:
2477:
2449:
2448:
2404:
2399:
2398:
2388:
2380:simplicial sets
2372:
2342:
2337:
2336:
2300:
2295:
2294:
2240:
2235:
2234:
2186:
2181:
2180:
2143:
2142:
2094:
2089:
2088:
2051:
2050:
2013:
2012:
1981:
1980:
1979:-connected and
1949:
1948:
1917:
1916:
1885:
1884:
1853:
1852:
1777:
1743:
1738:
1737:
1689:
1655:
1642:
1637:
1636:
1608:
1607:
1594:(i.e., a space
1558:
1557:
1554:
1552:Triadic version
1520:
1519:
1494:
1493:
1470:
1469:
1443:
1442:
1397:
1369:
1364:
1363:
1319:
1314:
1313:
1277:
1272:
1271:
1235:
1230:
1229:
1204:
1203:
1161:
1156:
1155:
1124:
1123:
1104:
1103:
1084:
1083:
1044:
1016:
1003:
998:
997:
969:
968:
937:
936:
930:
886:
861:
839:
812:
790:
785:
784:
756:
755:
712:
684:
671:
666:
665:
627:
605:
592:
587:
586:
561:
560:
518:
510:
509:
484:
483:
447:
442:
441:
408:
407:
377:
376:
335:
319:
306:
301:
300:
270:
259:
258:
234:
221:
208:
203:
202:
146:
124:
111:
106:
105:
98:there exists a
84:
76:homology groups
72:homotopy groups
68:
56:Witold Hurewicz
48:homology theory
44:homotopy theory
28:
23:
22:
15:
12:
11:
5:
3021:
3019:
3011:
3010:
3005:
3000:
2990:
2989:
2986:
2985:
2980:
2956:
2951:
2925:
2924:
2907:(3): 311–334,
2894:
2856:
2828:
2815:
2792:
2789:
2786:
2785:
2757:
2731:(3): 617–623,
2709:
2707:, III.3.6, 3.7
2702:
2680:
2674:
2658:Hatcher, Allen
2645:
2644:
2642:
2639:
2626:
2623:
2620:
2617:
2614:
2611:
2591:
2588:
2585:
2582:
2579:
2576:
2565:
2564:
2553:
2549:
2545:
2542:
2539:
2534:
2530:
2526:
2522:
2518:
2515:
2512:
2509:
2504:
2500:
2496:
2492:
2488:
2485:
2462:
2459:
2456:
2436:
2433:
2429:
2425:
2422:
2419:
2416:
2411:
2407:
2387:
2384:
2371:
2368:
2349:
2345:
2324:
2321:
2318:
2315:
2312:
2307:
2303:
2282:
2279:
2276:
2273:
2270:
2267:
2264:
2259:
2256:
2253:
2250:
2247:
2243:
2222:
2219:
2216:
2213:
2210:
2205:
2202:
2199:
2196:
2193:
2189:
2168:
2165:
2162:
2159:
2156:
2153:
2150:
2130:
2127:
2124:
2121:
2118:
2115:
2112:
2109:
2106:
2101:
2097:
2076:
2073:
2070:
2067:
2064:
2061:
2058:
2038:
2035:
2032:
2029:
2026:
2023:
2020:
2000:
1997:
1994:
1991:
1988:
1968:
1965:
1962:
1959:
1956:
1936:
1933:
1930:
1927:
1924:
1904:
1901:
1898:
1895:
1892:
1872:
1869:
1866:
1863:
1860:
1837:
1836:
1825:
1822:
1819:
1816:
1813:
1810:
1807:
1804:
1801:
1798:
1795:
1792:
1789:
1784:
1780:
1776:
1773:
1770:
1767:
1764:
1761:
1758:
1755:
1750:
1746:
1731:
1730:
1719:
1716:
1713:
1710:
1707:
1704:
1701:
1696:
1692:
1688:
1685:
1682:
1679:
1676:
1673:
1670:
1667:
1662:
1658:
1654:
1649:
1645:
1621:
1618:
1615:
1606:) and integer
1598:and subspaces
1583:
1580:
1577:
1574:
1571:
1568:
1565:
1553:
1550:
1533:
1530:
1527:
1507:
1504:
1501:
1477:
1453:
1450:
1439:
1438:
1427:
1424:
1421:
1418:
1415:
1412:
1409:
1404:
1400:
1396:
1393:
1390:
1387:
1384:
1381:
1376:
1372:
1337:
1334:
1331:
1326:
1322:
1301:
1298:
1295:
1292:
1289:
1284:
1280:
1259:
1256:
1253:
1250:
1247:
1242:
1238:
1217:
1214:
1211:
1191:
1188:
1185:
1182:
1179:
1176:
1173:
1168:
1164:
1143:
1140:
1137:
1134:
1131:
1111:
1091:
1080:
1079:
1068:
1065:
1062:
1059:
1056:
1051:
1047:
1043:
1040:
1037:
1034:
1031:
1028:
1023:
1019:
1015:
1010:
1006:
982:
979:
976:
956:
953:
950:
947:
944:
934:pair of spaces
929:
926:
925:
924:
917:abelianization
915:, between the
904:
901:
898:
893:
889:
885:
882:
879:
876:
873:
868:
864:
860:
857:
854:
851:
846:
842:
838:
834:
830:
827:
824:
819:
815:
811:
806:
799:
796:
769:
766:
763:
752:
736:
733:
730:
725:
722:
719:
715:
711:
708:
705:
702:
697:
694:
691:
687:
683:
678:
674:
645:
642:
639:
634:
630:
626:
623:
620:
617:
612:
608:
604:
599:
595:
574:
571:
568:
548:
545:
542:
539:
536:
530:
525:
521:
497:
494:
491:
471:
468:
465:
462:
459:
454:
450:
427:
424:
421:
418:
415:
390:
387:
384:
353:
350:
347:
342:
338:
334:
331:
326:
322:
318:
313:
309:
288:
285:
282:
277:
273:
269:
266:
246:
241:
237:
233:
228:
224:
220:
215:
211:
199:homology group
191:homotopy group
179:
178:
167:
164:
161:
158:
153:
149:
145:
142:
139:
136:
131:
127:
123:
118:
114:
88:path-connected
83:
80:
67:
64:
60:Henri Poincaré
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
3020:
3009:
3006:
3004:
3001:
2999:
2996:
2995:
2993:
2983:
2977:
2973:
2969:
2965:
2961:
2957:
2954:
2948:
2944:
2940:
2935:
2934:
2927:
2926:
2922:
2918:
2914:
2910:
2906:
2902:
2901:
2895:
2892:
2888:
2884:
2880:
2875:
2870:
2866:
2862:
2857:
2854:
2850:
2846:
2842:
2838:
2834:
2829:
2826:
2822:
2818:
2816:9780821851029
2812:
2808:
2804:
2800:
2795:
2794:
2790:
2782:(34): 393–395
2781:
2777:
2776:
2771:
2767:
2766:Cartan, Henri
2761:
2758:
2754:
2750:
2746:
2742:
2738:
2734:
2730:
2726:
2725:
2720:
2713:
2710:
2705:
2699:
2695:
2691:
2684:
2681:
2677:
2671:
2667:
2663:
2659:
2653:
2651:
2647:
2640:
2638:
2624:
2621:
2618:
2615:
2612:
2609:
2589:
2586:
2583:
2580:
2577:
2574:
2543:
2540:
2532:
2528:
2516:
2510:
2502:
2498:
2494:
2486:
2483:
2476:
2475:
2474:
2460:
2457:
2454:
2434:
2431:
2423:
2417:
2409:
2405:
2396:
2392:
2385:
2383:
2381:
2377:
2369:
2367:
2365:
2362:-group of an
2347:
2343:
2319:
2316:
2313:
2305:
2301:
2277:
2274:
2271:
2268:
2265:
2257:
2254:
2251:
2248:
2245:
2241:
2217:
2214:
2211:
2203:
2200:
2197:
2194:
2191:
2187:
2166:
2163:
2160:
2157:
2154:
2151:
2148:
2128:
2125:
2119:
2116:
2113:
2110:
2107:
2099:
2095:
2071:
2068:
2065:
2062:
2059:
2033:
2030:
2027:
2024:
2021:
1995:
1992:
1989:
1963:
1960:
1957:
1931:
1928:
1925:
1899:
1896:
1893:
1870:
1867:
1864:
1861:
1858:
1850:
1846:
1842:
1823:
1811:
1808:
1805:
1799:
1793:
1790:
1782:
1778:
1774:
1768:
1765:
1762:
1759:
1756:
1748:
1744:
1736:
1735:
1734:
1714:
1711:
1708:
1705:
1702:
1694:
1690:
1680:
1677:
1674:
1671:
1668:
1660:
1656:
1652:
1647:
1643:
1635:
1634:
1633:
1619:
1616:
1613:
1605:
1601:
1597:
1578:
1575:
1572:
1569:
1566:
1551:
1549:
1547:
1531:
1528:
1525:
1505:
1502:
1499:
1491:
1475:
1467:
1451:
1448:
1425:
1419:
1416:
1413:
1410:
1402:
1398:
1388:
1385:
1382:
1374:
1370:
1362:
1361:
1360:
1358:
1353:
1351:
1332:
1324:
1320:
1296:
1293:
1290:
1282:
1278:
1254:
1251:
1248:
1240:
1236:
1215:
1212:
1209:
1189:
1186:
1180:
1177:
1174:
1166:
1162:
1138:
1135:
1132:
1109:
1089:
1063:
1060:
1057:
1049:
1045:
1035:
1032:
1029:
1021:
1017:
1013:
1008:
1004:
996:
995:
994:
980:
977:
974:
951:
948:
945:
935:
927:
922:
918:
899:
891:
887:
874:
866:
862:
858:
852:
844:
840:
832:
825:
817:
813:
809:
804:
794:
783:
767:
764:
761:
753:
751:in this case.
750:
731:
723:
720:
717:
713:
703:
695:
692:
689:
685:
681:
676:
672:
663:
659:
640:
632:
628:
618:
610:
606:
602:
597:
593:
572:
569:
566:
546:
543:
537:
523:
519:
495:
492:
489:
469:
466:
460:
452:
448:
439:
422:
419:
416:
404:
388:
385:
382:
374:
373:
372:
370:
365:
348:
340:
336:
332:
324:
320:
311:
307:
283:
275:
271:
267:
264:
239:
235:
226:
222:
218:
213:
209:
200:
196:
192:
188:
184:
165:
159:
151:
147:
137:
129:
125:
121:
116:
112:
104:
103:
102:
101:
97:
93:
89:
81:
79:
77:
73:
65:
63:
61:
57:
53:
49:
45:
42:, connecting
41:
37:
33:
19:
2963:
2932:
2904:
2898:
2864:
2860:
2836:
2832:
2798:
2779:
2773:
2760:
2728:
2722:
2712:
2693:
2683:
2661:
2566:
2394:
2390:
2389:
2375:
2373:
2363:
1848:
1844:
1840:
1838:
1732:
1603:
1599:
1595:
1555:
1464:denotes the
1440:
1354:
1081:
967:and integer
931:
402:
366:
299:is taken to
194:
186:
182:
180:
95:
91:
85:
69:
51:
35:
29:
2867:: 176–192,
2378:-connected
782:isomorphism
749:epimorphism
660:equals the
369:isomorphism
185:, from the
181:called the
32:mathematics
2992:Categories
2791:References
440:(that is:
438:-connected
2921:0040-9383
2891:0024-6115
2869:CiteSeerX
2853:0022-4049
2839:: 11–41,
2753:119824771
2584:≤
2578:≤
2525:⟶
2517:⊗
2499:π
2495::
2487:⊗
2458:≤
2424:⊗
2406:π
2317:∩
2302:π
2255:−
2242:π
2201:−
2164:−
2069:−
1993:−
1961:−
1868:∩
1809:∪
1794:∪
1775:≅
1687:→
1657:π
1653::
1648:∗
1414:∪
1399:π
1395:→
1371:π
1321:π
1279:π
1136:−
1042:→
1018:π
1014::
1009:∗
884:→
863:π
841:π
814:π
810::
805:∗
798:~
710:→
686:π
682::
677:∗
625:→
607:π
603::
598:∗
529:~
449:π
420:−
386:≥
333:∈
312:∗
272:π
268:∈
219:∈
144:→
126:π
122::
117:∗
2962:(1978),
2900:Topology
2692:(1999),
2660:(2001),
932:For any
559:for all
508:), then
482:for all
86:For any
2825:1022673
2733:Bibcode
193:to the
2978:
2949:
2919:
2889:
2871:
2851:
2823:
2813:
2751:
2700:
2672:
1851:, and
1441:where
747:is an
90:space
34:, the
2749:S2CID
2641:Notes
401:, if
46:with
2976:ISBN
2947:ISBN
2917:ISSN
2887:ISSN
2849:ISSN
2811:ISBN
2698:ISBN
2670:ISBN
2447:for
2393:Let
2179:and
2152:<
2141:for
1947:are
1915:and
1617:>
1503:>
1466:cone
1228:and
1213:<
1202:for
1102:and
978:>
754:For
570:<
493:<
375:For
197:-th
189:-th
74:and
2909:doi
2879:doi
2841:doi
2803:doi
2741:doi
2729:136
2344:cat
2049:is
1468:of
405:is
30:In
2994::
2974:,
2966:,
2937:,
2915:,
2905:26
2903:,
2885:,
2877:,
2865:54
2847:,
2837:22
2835:,
2821:MR
2819:,
2809:,
2778:,
2768:;
2747:,
2739:,
2727:,
2668:,
2664:,
2649:^
2637:.
1847:,
1843:,
1602:,
371:.
364:.
78:.
62:.
2911::
2881::
2843::
2805::
2780:2
2743::
2735::
2625:1
2622:+
2619:r
2616:2
2613:=
2610:i
2590:r
2587:2
2581:i
2575:1
2552:)
2548:Q
2544:;
2541:X
2538:(
2533:i
2529:H
2521:Q
2514:)
2511:X
2508:(
2503:i
2491:Q
2484:h
2461:r
2455:i
2435:0
2432:=
2428:Q
2421:)
2418:X
2415:(
2410:i
2395:X
2376:n
2364:n
2348:n
2323:)
2320:B
2314:A
2311:(
2306:1
2281:)
2278:B
2275:,
2272:A
2269:;
2266:X
2263:(
2258:1
2252:q
2249:+
2246:p
2221:)
2218:A
2215:;
2212:X
2209:(
2204:1
2198:q
2195:+
2192:p
2188:H
2167:2
2161:q
2158:+
2155:p
2149:k
2129:0
2126:=
2123:)
2120:B
2117:,
2114:A
2111:;
2108:X
2105:(
2100:k
2096:H
2075:)
2072:2
2066:q
2063:+
2060:p
2057:(
2037:)
2034:B
2031:,
2028:A
2025:;
2022:X
2019:(
1999:)
1996:1
1990:q
1987:(
1967:)
1964:1
1958:p
1955:(
1935:)
1932:C
1929:,
1926:B
1923:(
1903:)
1900:C
1897:,
1894:A
1891:(
1871:B
1865:A
1862:=
1859:C
1849:B
1845:A
1841:X
1824:.
1821:)
1818:)
1815:)
1812:B
1806:A
1803:(
1800:C
1797:(
1791:X
1788:(
1783:k
1779:H
1772:)
1769:B
1766:,
1763:A
1760:;
1757:X
1754:(
1749:k
1745:H
1718:)
1715:B
1712:,
1709:A
1706:;
1703:X
1700:(
1695:k
1691:H
1684:)
1681:B
1678:,
1675:A
1672:;
1669:X
1666:(
1661:k
1644:h
1620:2
1614:k
1604:B
1600:A
1596:X
1582:)
1579:B
1576:,
1573:A
1570:;
1567:X
1564:(
1532:2
1529:=
1526:n
1506:2
1500:n
1476:A
1452:A
1449:C
1426:,
1423:)
1420:A
1417:C
1411:X
1408:(
1403:n
1392:)
1389:A
1386:,
1383:X
1380:(
1375:n
1336:)
1333:A
1330:(
1325:1
1300:)
1297:A
1294:,
1291:X
1288:(
1283:n
1258:)
1255:A
1252:,
1249:X
1246:(
1241:n
1237:H
1216:n
1210:k
1190:0
1187:=
1184:)
1181:A
1178:,
1175:X
1172:(
1167:k
1163:H
1142:)
1139:1
1133:n
1130:(
1110:A
1090:X
1067:)
1064:A
1061:,
1058:X
1055:(
1050:k
1046:H
1039:)
1036:A
1033:,
1030:X
1027:(
1022:k
1005:h
981:1
975:k
955:)
952:A
949:,
946:X
943:(
903:)
900:X
897:(
892:1
888:H
881:]
878:)
875:X
872:(
867:1
859:,
856:)
853:X
850:(
845:1
837:[
833:/
829:)
826:X
823:(
818:1
795:h
768:1
765:=
762:n
735:)
732:X
729:(
724:1
721:+
718:n
714:H
707:)
704:X
701:(
696:1
693:+
690:n
673:h
644:)
641:X
638:(
633:n
629:H
622:)
619:X
616:(
611:n
594:h
573:n
567:i
547:0
544:=
541:)
538:X
535:(
524:i
520:H
496:n
490:i
470:0
467:=
464:)
461:X
458:(
453:i
426:)
423:1
417:n
414:(
403:X
389:2
383:n
352:)
349:X
346:(
341:n
337:H
330:)
325:n
321:u
317:(
308:f
287:)
284:X
281:(
276:n
265:f
245:)
240:n
236:S
232:(
227:n
223:H
214:n
210:u
195:n
187:n
166:,
163:)
160:X
157:(
152:n
148:H
141:)
138:X
135:(
130:n
113:h
96:n
92:X
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.