515:
1839:
36:
1781:
In the general case, the algebraic relations need not be associative, in which case the starting point is not the set of all words, but rather, strings punctuated with parentheses, which are used to indicate the non-associative groupings of letters. Such a string may equivalently be represented by a
2347:
1805:. Properly describing or enumerating the contents of a free object can be easy or difficult, depending on the particular algebraic object in question. For example, the free group in two generators is easily described. By contrast, little or nothing is known about the structure of
1744:
704:
1601:
2268:
2995:
1820:; one may reverse that to some extent by saying that major uses of syntax can be explained and characterised as free objects, in a way that makes apparently heavy 'punctuation' explicable (and more memorable).
2944:
1769:
of strings. The identity is the empty string. In essence, the free monoid is simply the set of all words, with no equivalence relations imposed. This example is developed further in the article on the
2531:
2462:
572:
2629:
1606:
2381:
1151:
813:
1350:
602:
2793:
2745:
2698:
1440:
1069:
929:
2261:
504:
2888:
2186:
2019:
1493:
425:
358:
2832:
2051:
457:
1011:
1254:
1204:
873:
843:
2154:
2091:
1927:
1377:
958:
2226:
2206:
2134:
2111:
2071:
1987:
1967:
1947:
1907:
1887:
1274:
1224:
1174:
311:
3084:
Other types of forgetfulness also give rise to objects quite like free objects, in that they are left adjoint to a forgetful functor, not necessarily to sets.
1498:
159:: the only equations that hold between elements of the free object are those that follow from the defining axioms of the algebraic structure. Examples include
1801:
on the leaves of the tree. Rather than starting with the collection of all possible parenthesized strings, it can be more convenient to start with the
2342:{\displaystyle {\begin{array}{ccc}S&\xrightarrow {\psi } &A\\&\searrow _{\tau }&\downarrow ^{\sigma }\\&&B\ \end{array}}}
730:
upon the words, where the relations are the defining relations of the algebraic object at hand. The free object then consists of the set of
2956:
3366:
3120:
2899:
1809:
in more than one generator. The problem of determining if two different strings belong to the same equivalence class is known as the
3315:
3237:
119:
3168:
3371:
875:; these will be given later, in the second step. Thus, one could equally well start with the alphabet in five letters that is
57:
514:
3151:
100:
532:
every map between two sets induces a unique morphism between the free objects built on them, and this defines a functor
72:
53:
3057:
3033:
2494:
2425:
723:
535:
2799:
Concretely, this sends a set into the free object on that set; it is the "inclusion of a basis". Abusing notation,
1810:
1739:{\displaystyle E=\{a_{1}a_{2}\ldots a_{n}\,\vert \;e=a_{1}a_{2}\ldots a_{n}\,;\,a_{k}\in S\,;\,n\in \mathbb {N} \}}
79:
3376:
3361:
1758:
742:
719:
2575:
3139:
3134:
699:{\displaystyle \operatorname {Hom} _{\mathbf {Set} }(X,U(B))\cong \operatorname {Hom} _{\mathbf {C} }(F(X),B).}
2354:
1077:
748:
86:
3069:
3002:
1282:
46:
2750:
2947:
2894:
199:
195:
2422:; the objects can be thought of as sets plus operations, obeying some laws. This category has a functor,
68:
2709:
2662:
1392:
1016:
3346:
3195:
3190:
3185:
1806:
878:
727:
2234:
3254:
3096:
2419:
1356:
972:
507:
468:
152:
2849:
2159:
1992:
1448:
3163:
2640:
529:
389:
367:
322:
2802:
2024:
3311:
3104:
3061:
2465:
2408:
1802:
1798:
1380:
971:
In the next step, one imposes a set of equivalence relations. The equivalence relations for a
731:
430:
236:
175:
145:
978:
3208:
3108:
2477:
1746:
is the equivalence class of the identity, after the relations defining a group are imposed.
1229:
1179:
968:, and so on, of arbitrary finite length, with the letters arranged in every possible order.
848:
818:
248:
240:
141:
3320:(A treatment of the one-generator free Heyting algebra is given in chapter 1, section 4.11)
2139:
2076:
1912:
1362:
3338:
3201:
2392:
934:
715:
222:
between vector spaces is entirely determined by its values on a basis of the vector space
183:
3024:
There are general existence theorems that apply; the most basic of them guarantees that
2273:
1596:{\displaystyle W(S)=\{a_{1}a_{2}\ldots a_{n}\,\vert \;a_{k}\in S\,;\,n\in \mathbb {N} \}}
93:
3342:
3288:
3276:
3249:
3175:
3088:
2211:
2191:
2119:
2096:
2056:
1972:
1952:
1932:
1892:
1872:
1259:
1209:
1159:
296:
164:
1838:
3355:
3146:
3013:
1766:
714:
The creation of free objects proceeds in two steps. For algebras that conform to the
362:
3271:
3222:
3180:
3129:
3100:
3092:
2404:
2229:
1829:
1384:
589:
168:
3266:
3232:
3227:
3218:
1783:
1770:
1750:
133:
35:
2480:. The forgetful functor is very simple: it just ignores all of the operations.
3213:
3158:
1787:
738:
160:
3244:
2998:
815:. In the first step, there is not yet any assigned meaning to the "letters"
17:
2700:
is a function (a morphism in the category of sets), then there is a unique
3259:
1383:
of words. Thus, in this example, the free group in two generators is the
179:
178:, in the sense that it relates to all types of algebraic structure (with
3099:
that ignores the algebra structure. It is therefore often also called a
2396:
2990:{\displaystyle \varepsilon :FU\to \operatorname {id} _{\mathbf {C} }}
2951:
1817:
2285:
1816:
As the examples suggest, free objects look like constructions from
3111:
are free symmetric and anti-symmetric algebras on a vector space.
1794:
3334:
2939:{\displaystyle \eta :\operatorname {id} _{\mathbf {Set} }\to UF}
2568:
For the free functor to be a left adjoint, one must also have a
2557:
can be thought of as the set of "generators" of the free object
718:, the first step is to consider the collection of all possible
2113:
of free generators if the following universal property holds:
1833:
29:
1071:. Applying these relations to the strings above, one obtains
745:. One starts with an alphabet consisting of the five letters
1790:; the leaves of the tree are the letters from the alphabet.
513:
232:
The following definition translates this to any category.
1850:
2959:
2902:
2852:
2805:
2753:
2712:
2665:
2578:
2497:
2428:
2357:
2271:
2237:
2214:
2194:
2162:
2142:
2122:
2099:
2079:
2059:
2027:
1995:
1975:
1955:
1935:
1915:
1895:
1875:
1609:
1501:
1451:
1395:
1365:
1285:
1262:
1232:
1212:
1182:
1162:
1080:
1019:
981:
937:
881:
851:
821:
751:
605:
538:
471:
433:
392:
325:
299:
931:. In this example, the set of all words or strings
182:operations). It also has a formulation in terms of
60:. Unsourced material may be challenged and removed.
2989:
2938:
2882:
2826:
2787:
2739:
2692:
2623:
2525:
2456:
2375:
2341:
2255:
2220:
2200:
2180:
2148:
2128:
2105:
2085:
2065:
2045:
2013:
1981:
1961:
1941:
1921:
1901:
1881:
1738:
1595:
1487:
1434:
1371:
1344:
1268:
1248:
1218:
1198:
1168:
1145:
1063:
1005:
952:
923:
867:
837:
807:
698:
566:
498:
451:
419:
352:
305:
2620:
2391:The most general setting for a free object is in
1949:. The underlying set of this algebraic structure
2526:{\displaystyle F:\mathbf {Set} \to \mathbf {C} }
2457:{\displaystyle U:\mathbf {C} \to \mathbf {Set} }
567:{\displaystyle F:\mathbf {Set} \to \mathbf {C} }
737:Consider, for example, the construction of the
257:be a concrete category with a faithful functor
186:, although this is in yet more abstract terms.
3060:, thus implying that the set of relations are
194:Free objects are the direct generalization to
8:
1793:The algebraic relations may then be general
1733:
1653:
1616:
1590:
1554:
1517:
1379:, the free object is then the collection of
1276:is the identity element. Similarly, one has
975:are that of multiplication by the identity,
918:
888:
802:
752:
574:. It follows that, if free objects exist in
1969:, often called its universe, is denoted by
27:Left adjoint to a forgetful functor to sets
2624:{\displaystyle \eta _{X}:X\to U(F(X))\,\!}
2263:such that the following diagram commutes:
1656:
1557:
2980:
2979:
2958:
2914:
2913:
2901:
2851:
2804:
2779:
2752:
2711:
2664:
2619:
2583:
2577:
2518:
2504:
2496:
2487:, when it exists, is the left adjoint to
2443:
2435:
2427:
2356:
2317:
2305:
2272:
2270:
2236:
2213:
2193:
2161:
2141:
2121:
2098:
2078:
2058:
2026:
1994:
1974:
1954:
1934:
1914:
1894:
1874:
1729:
1728:
1721:
1717:
1705:
1700:
1696:
1690:
1677:
1667:
1652:
1646:
1633:
1623:
1608:
1586:
1585:
1578:
1574:
1562:
1553:
1547:
1534:
1524:
1500:
1477:
1456:
1450:
1421:
1400:
1394:
1364:
1324:
1311:
1284:
1261:
1237:
1231:
1211:
1187:
1181:
1161:
1131:
1118:
1079:
1043:
1027:
1018:
980:
936:
880:
856:
850:
826:
820:
793:
777:
750:
659:
658:
611:
610:
604:
559:
545:
537:
470:
432:
391:
324:
298:
120:Learn how and when to remove this message
3125:Specific kinds of free objects include:
2376:{\displaystyle \sigma \circ \psi =\tau }
1146:{\displaystyle aebecede=aba^{-1}b^{-1},}
3299:
808:{\displaystyle \{e,a,b,a^{-1},b^{-1}\}}
151:can be thought of as being a "generic"
3095:is the left adjoint to the functor on
2468:, which maps objects and functions in
1345:{\displaystyle abdc=abb^{-1}a^{-1}=e.}
1013:, and the multiplication of inverses:
239:is a category that is equipped with a
3310:, (1982) Cambridge University Press,
2788:{\displaystyle g=U(f)\circ \eta _{X}}
1355:Denoting the equivalence relation or
202:in a vector space. A linear function
7:
2541:to their corresponding free objects
285:of the free object to be defined. A
58:adding citations to reliable sources
3056:Here, a variety is a synonym for a
144:. Informally, a free object over a
3121:Category:Free algebraic structures
2846:) is an algebra; correctly, it is
1909:be an algebraic structure of type
293:is a pair consisting of an object
25:
3238:free partially commutative monoid
2740:{\displaystyle f\colon F(X)\to B}
2693:{\displaystyle g\colon X\to U(B)}
2639:, characterized by the following
1435:{\displaystyle F_{2}=W(S)/\sim .}
1064:{\displaystyle gg^{-1}=g^{-1}g=e}
427:, there exists a unique morphism
3169:free partially commutative group
2981:
2921:
2918:
2915:
2519:
2511:
2508:
2505:
2450:
2447:
2444:
2436:
1837:
660:
618:
615:
612:
596:; that is, there is a bijection
560:
552:
549:
546:
366:), that satisfies the following
277:be a set (that is, an object in
140:is one of the basic concepts of
34:
924:{\displaystyle S=\{a,b,c,d,e\}}
45:needs additional citations for
2972:
2927:
2877:
2874:
2868:
2862:
2856:
2834:(this abuses notation because
2821:
2815:
2809:
2769:
2763:
2731:
2728:
2722:
2687:
2681:
2675:
2616:
2613:
2607:
2601:
2595:
2515:
2440:
2314:
2302:
2256:{\displaystyle \sigma :A\to B}
2247:
2172:
2040:
2028:
2005:
1757:, is the monoid of all finite
1511:
1505:
1474:
1468:
1418:
1412:
947:
941:
690:
681:
675:
669:
648:
645:
639:
627:
556:
530:the universal property implies
487:
481:
443:
414:
408:
402:
347:
341:
335:
1:
3152:free strict monoidal category
1603:is the set of all words, and
1156:where it was understood that
960:will include strings such as
499:{\displaystyle g=U(f)\circ i}
2883:{\displaystyle X\to U(F(X))}
2181:{\displaystyle \tau :S\to B}
2073:) is a free algebra of type
2014:{\displaystyle \psi :S\to A}
1765:as alphabet, with operation
1488:{\displaystyle F_{2}=W(S)/E}
726:. Then one imposes a set of
3058:finitary algebraic category
2021:be a function. We say that
1753:. The free monoid on a set
420:{\displaystyle g:X\to U(B)}
353:{\displaystyle i:X\to U(A)}
3393:
3118:
3016:to the forgetful functor.
2635:is, up to isomorphisms in
1827:
1749:A simpler example are the
3367:Free algebraic structures
3260:free commutative semiring
3191:free distributive lattice
2827:{\displaystyle X\to F(X)}
2046:{\displaystyle (A,\psi )}
1445:This is often written as
522:If free objects exist in
506:. That is, the following
386:and any map between sets
174:The concept is a part of
3140:free commutative algebra
3135:free associative algebra
2228:, there exists a unique
592:to the faithful functor
452:{\displaystyle f:A\to B}
3233:free commutative monoid
3040:there is a free object
1824:Free universal algebras
1006:{\displaystyle ge=eg=g}
3372:Combinatorics on words
2997:, one may construct a
2991:
2940:
2895:natural transformation
2884:
2828:
2789:
2741:
2694:
2625:
2527:
2458:
2395:, where one defines a
2377:
2343:
2257:
2222:
2202:
2182:
2150:
2130:
2107:
2087:
2067:
2047:
2015:
1983:
1963:
1943:
1923:
1903:
1883:
1740:
1597:
1489:
1436:
1373:
1346:
1270:
1250:
1249:{\displaystyle b^{-1}}
1220:
1200:
1199:{\displaystyle a^{-1}}
1170:
1147:
1065:
1007:
954:
925:
869:
868:{\displaystyle b^{-1}}
839:
838:{\displaystyle a^{-1}}
809:
700:
568:
519:
500:
453:
421:
354:
307:
3221:, and in particular,
3036:, then for every set
2992:
2941:
2885:
2829:
2790:
2742:
2695:
2626:
2528:
2459:
2378:
2344:
2258:
2223:
2203:
2183:
2151:
2149:{\displaystyle \rho }
2131:
2108:
2088:
2086:{\displaystyle \rho }
2068:
2048:
2016:
1984:
1964:
1944:
1924:
1922:{\displaystyle \rho }
1904:
1884:
1807:free Heyting algebras
1741:
1598:
1490:
1437:
1374:
1372:{\displaystyle \sim }
1347:
1271:
1251:
1221:
1201:
1171:
1148:
1066:
1008:
955:
926:
870:
840:
810:
728:equivalence relations
701:
569:
517:
501:
454:
422:
355:
308:
281:), which will be the
3306:Peter T. Johnstone,
3196:free Heyting algebra
3186:free Boolean algebra
3115:List of free objects
3097:associative algebras
2957:
2950:; together with the
2900:
2850:
2803:
2751:
2710:
2663:
2576:
2495:
2426:
2420:algebraic structures
2414:Consider a category
2355:
2269:
2235:
2212:
2192:
2160:
2140:
2120:
2097:
2077:
2057:
2053:(or informally just
2025:
1993:
1973:
1953:
1933:
1913:
1893:
1873:
1607:
1499:
1449:
1393:
1363:
1283:
1260:
1230:
1210:
1180:
1160:
1078:
1017:
979:
953:{\displaystyle W(S)}
935:
879:
849:
819:
749:
603:
536:
469:
431:
390:
323:
297:
54:improve this article
3176:free Kleene algebra
2631:. More explicitly,
2289:
2208:is the universe of
2156:and every function
1381:equivalence classes
732:equivalence classes
363:canonical injection
153:algebraic structure
3164:free abelian group
3091:construction on a
2987:
2936:
2880:
2824:
2785:
2737:
2690:
2641:universal property
2621:
2549:) in the category
2523:
2454:
2373:
2339:
2337:
2253:
2218:
2198:
2178:
2146:
2126:
2116:For every algebra
2103:
2083:
2063:
2043:
2011:
1979:
1959:
1939:
1919:
1899:
1879:
1849:. You can help by
1799:finitary relations
1736:
1593:
1485:
1432:
1369:
1342:
1266:
1246:
1226:is a stand-in for
1216:
1196:
1176:is a stand-in for
1166:
1143:
1061:
1003:
950:
921:
865:
835:
805:
696:
564:
520:
496:
449:
417:
368:universal property
350:
303:
3105:symmetric algebra
3087:For example, the
2653:is an algebra in
2483:The free functor
2466:forgetful functor
2409:forgetful functor
2334:
2290:
2221:{\displaystyle B}
2201:{\displaystyle B}
2129:{\displaystyle B}
2106:{\displaystyle S}
2066:{\displaystyle A}
1982:{\displaystyle A}
1962:{\displaystyle A}
1942:{\displaystyle S}
1902:{\displaystyle A}
1882:{\displaystyle S}
1867:
1866:
1803:Herbrand universe
1269:{\displaystyle e}
1219:{\displaystyle d}
1169:{\displaystyle c}
319:and an injection
306:{\displaystyle A}
237:concrete category
198:of the notion of
176:universal algebra
130:
129:
122:
104:
16:(Redirected from
3384:
3377:Adjoint functors
3362:Abstract algebra
3322:
3304:
3209:free Lie algebra
3109:exterior algebra
2996:
2994:
2993:
2988:
2986:
2985:
2984:
2945:
2943:
2942:
2937:
2926:
2925:
2924:
2889:
2887:
2886:
2881:
2838:is a set, while
2833:
2831:
2830:
2825:
2794:
2792:
2791:
2786:
2784:
2783:
2746:
2744:
2743:
2738:
2705:
2699:
2697:
2696:
2691:
2658:
2652:
2630:
2628:
2627:
2622:
2588:
2587:
2532:
2530:
2529:
2524:
2522:
2514:
2478:category of sets
2463:
2461:
2460:
2455:
2453:
2439:
2382:
2380:
2379:
2374:
2351:This means that
2348:
2346:
2345:
2340:
2338:
2332:
2327:
2326:
2322:
2321:
2310:
2309:
2299:
2281:
2262:
2260:
2259:
2254:
2227:
2225:
2224:
2219:
2207:
2205:
2204:
2199:
2187:
2185:
2184:
2179:
2155:
2153:
2152:
2147:
2135:
2133:
2132:
2127:
2112:
2110:
2109:
2104:
2092:
2090:
2089:
2084:
2072:
2070:
2069:
2064:
2052:
2050:
2049:
2044:
2020:
2018:
2017:
2012:
1988:
1986:
1985:
1980:
1968:
1966:
1965:
1960:
1948:
1946:
1945:
1940:
1928:
1926:
1925:
1920:
1908:
1906:
1905:
1900:
1888:
1886:
1885:
1880:
1862:
1859:
1841:
1834:
1745:
1743:
1742:
1737:
1732:
1710:
1709:
1695:
1694:
1682:
1681:
1672:
1671:
1651:
1650:
1638:
1637:
1628:
1627:
1602:
1600:
1599:
1594:
1589:
1567:
1566:
1552:
1551:
1539:
1538:
1529:
1528:
1494:
1492:
1491:
1486:
1481:
1461:
1460:
1441:
1439:
1438:
1433:
1425:
1405:
1404:
1378:
1376:
1375:
1370:
1351:
1349:
1348:
1343:
1332:
1331:
1319:
1318:
1275:
1273:
1272:
1267:
1255:
1253:
1252:
1247:
1245:
1244:
1225:
1223:
1222:
1217:
1205:
1203:
1202:
1197:
1195:
1194:
1175:
1173:
1172:
1167:
1152:
1150:
1149:
1144:
1139:
1138:
1126:
1125:
1070:
1068:
1067:
1062:
1051:
1050:
1035:
1034:
1012:
1010:
1009:
1004:
959:
957:
956:
951:
930:
928:
927:
922:
874:
872:
871:
866:
864:
863:
844:
842:
841:
836:
834:
833:
814:
812:
811:
806:
801:
800:
785:
784:
705:
703:
702:
697:
665:
664:
663:
623:
622:
621:
595:
583:
579:
573:
571:
570:
565:
563:
555:
527:
505:
503:
502:
497:
464:
458:
456:
455:
450:
426:
424:
423:
418:
385:
379:
359:
357:
356:
351:
318:
312:
310:
309:
304:
292:
276:
270:
256:
249:category of sets
241:faithful functor
231:
221:
142:abstract algebra
136:, the idea of a
125:
118:
114:
111:
105:
103:
62:
38:
30:
21:
3392:
3391:
3387:
3386:
3385:
3383:
3382:
3381:
3352:
3351:
3330:
3325:
3305:
3301:
3297:
3285:
3202:modular lattice
3123:
3117:
3103:. Likewise the
3082:
3022:
2975:
2955:
2954:
2909:
2898:
2897:
2848:
2847:
2801:
2800:
2775:
2749:
2748:
2708:
2707:
2701:
2661:
2660:
2654:
2648:
2579:
2574:
2573:
2493:
2492:
2424:
2423:
2393:category theory
2389:
2353:
2352:
2336:
2335:
2324:
2323:
2313:
2311:
2301:
2297:
2296:
2291:
2279:
2267:
2266:
2233:
2232:
2210:
2209:
2190:
2189:
2158:
2157:
2138:
2137:
2118:
2117:
2095:
2094:
2075:
2074:
2055:
2054:
2023:
2022:
1991:
1990:
1971:
1970:
1951:
1950:
1931:
1930:
1911:
1910:
1891:
1890:
1871:
1870:
1863:
1857:
1854:
1847:needs expansion
1832:
1826:
1779:
1701:
1686:
1673:
1663:
1642:
1629:
1619:
1605:
1604:
1558:
1543:
1530:
1520:
1497:
1496:
1452:
1447:
1446:
1396:
1391:
1390:
1361:
1360:
1320:
1307:
1281:
1280:
1258:
1257:
1233:
1228:
1227:
1208:
1207:
1183:
1178:
1177:
1158:
1157:
1127:
1114:
1076:
1075:
1039:
1023:
1015:
1014:
977:
976:
933:
932:
877:
876:
852:
847:
846:
822:
817:
816:
789:
773:
747:
746:
722:formed from an
716:associative law
712:
654:
606:
601:
600:
593:
581:
575:
534:
533:
523:
467:
466:
460:
429:
428:
388:
387:
381:
375:
374:For any object
321:
320:
314:
295:
294:
290:
272:
258:
252:
229:
223:
220:
213:
203:
192:
184:category theory
165:tensor algebras
126:
115:
109:
106:
63:
61:
51:
39:
28:
23:
22:
15:
12:
11:
5:
3390:
3388:
3380:
3379:
3374:
3369:
3364:
3354:
3353:
3350:
3349:
3329:
3328:External links
3326:
3324:
3323:
3298:
3296:
3293:
3292:
3291:
3289:Generating set
3284:
3281:
3280:
3279:
3277:discrete space
3274:
3269:
3264:
3263:
3262:
3252:
3250:free semigroup
3247:
3242:
3241:
3240:
3235:
3225:
3216:
3211:
3206:
3205:
3204:
3198:
3193:
3188:
3178:
3173:
3172:
3171:
3166:
3156:
3155:
3154:
3144:
3143:
3142:
3137:
3116:
3113:
3089:tensor algebra
3081:
3078:
3068:because it is
3054:
3053:
3021:
3018:
3010:cofree functor
2983:
2978:
2974:
2971:
2968:
2965:
2962:
2946:is called the
2935:
2932:
2929:
2923:
2920:
2917:
2912:
2908:
2905:
2879:
2876:
2873:
2870:
2867:
2864:
2861:
2858:
2855:
2823:
2820:
2817:
2814:
2811:
2808:
2797:
2796:
2782:
2778:
2774:
2771:
2768:
2765:
2762:
2759:
2756:
2736:
2733:
2730:
2727:
2724:
2721:
2718:
2715:
2689:
2686:
2683:
2680:
2677:
2674:
2671:
2668:
2618:
2615:
2612:
2609:
2606:
2603:
2600:
2597:
2594:
2591:
2586:
2582:
2521:
2517:
2513:
2510:
2507:
2503:
2500:
2452:
2449:
2446:
2442:
2438:
2434:
2431:
2403:, that is the
2388:
2385:
2372:
2369:
2366:
2363:
2360:
2331:
2328:
2325:
2320:
2316:
2312:
2308:
2304:
2300:
2298:
2295:
2292:
2288:
2284:
2280:
2278:
2275:
2274:
2252:
2249:
2246:
2243:
2240:
2217:
2197:
2177:
2174:
2171:
2168:
2165:
2145:
2125:
2102:
2082:
2062:
2042:
2039:
2036:
2033:
2030:
2010:
2007:
2004:
2001:
1998:
1978:
1958:
1938:
1918:
1898:
1878:
1865:
1864:
1844:
1842:
1828:Main article:
1825:
1822:
1778:
1775:
1735:
1731:
1727:
1724:
1720:
1716:
1713:
1708:
1704:
1699:
1693:
1689:
1685:
1680:
1676:
1670:
1666:
1662:
1659:
1655:
1649:
1645:
1641:
1636:
1632:
1626:
1622:
1618:
1615:
1612:
1592:
1588:
1584:
1581:
1577:
1573:
1570:
1565:
1561:
1556:
1550:
1546:
1542:
1537:
1533:
1527:
1523:
1519:
1516:
1513:
1510:
1507:
1504:
1484:
1480:
1476:
1473:
1470:
1467:
1464:
1459:
1455:
1443:
1442:
1431:
1428:
1424:
1420:
1417:
1414:
1411:
1408:
1403:
1399:
1368:
1353:
1352:
1341:
1338:
1335:
1330:
1327:
1323:
1317:
1314:
1310:
1306:
1303:
1300:
1297:
1294:
1291:
1288:
1265:
1243:
1240:
1236:
1215:
1193:
1190:
1186:
1165:
1154:
1153:
1142:
1137:
1134:
1130:
1124:
1121:
1117:
1113:
1110:
1107:
1104:
1101:
1098:
1095:
1092:
1089:
1086:
1083:
1060:
1057:
1054:
1049:
1046:
1042:
1038:
1033:
1030:
1026:
1022:
1002:
999:
996:
993:
990:
987:
984:
949:
946:
943:
940:
920:
917:
914:
911:
908:
905:
902:
899:
896:
893:
890:
887:
884:
862:
859:
855:
832:
829:
825:
804:
799:
796:
792:
788:
783:
780:
776:
772:
769:
766:
763:
760:
757:
754:
711:
708:
707:
706:
695:
692:
689:
686:
683:
680:
677:
674:
671:
668:
662:
657:
653:
650:
647:
644:
641:
638:
635:
632:
629:
626:
620:
617:
614:
609:
580:, the functor
562:
558:
554:
551:
548:
544:
541:
512:
511:
495:
492:
489:
486:
483:
480:
477:
474:
448:
445:
442:
439:
436:
416:
413:
410:
407:
404:
401:
398:
395:
349:
346:
343:
340:
337:
334:
331:
328:
302:
227:
218:
211:
191:
188:
128:
127:
110:September 2024
42:
40:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
3389:
3378:
3375:
3373:
3370:
3368:
3365:
3363:
3360:
3359:
3357:
3348:
3344:
3340:
3336:
3332:
3331:
3327:
3321:
3317:
3316:0-521-23893-5
3313:
3309:
3303:
3300:
3294:
3290:
3287:
3286:
3282:
3278:
3275:
3273:
3270:
3268:
3265:
3261:
3258:
3257:
3256:
3255:free semiring
3253:
3251:
3248:
3246:
3243:
3239:
3236:
3234:
3231:
3230:
3229:
3226:
3224:
3220:
3217:
3215:
3212:
3210:
3207:
3203:
3199:
3197:
3194:
3192:
3189:
3187:
3184:
3183:
3182:
3179:
3177:
3174:
3170:
3167:
3165:
3162:
3161:
3160:
3157:
3153:
3150:
3149:
3148:
3147:free category
3145:
3141:
3138:
3136:
3133:
3132:
3131:
3128:
3127:
3126:
3122:
3114:
3112:
3110:
3106:
3102:
3098:
3094:
3090:
3085:
3079:
3077:
3075:
3071:
3067:
3063:
3059:
3051:
3047:
3043:
3039:
3035:
3031:
3027:
3026:
3025:
3019:
3017:
3015:
3014:right adjoint
3011:
3006:
3004:
3000:
2976:
2969:
2966:
2963:
2960:
2953:
2949:
2933:
2930:
2910:
2906:
2903:
2896:
2891:
2871:
2865:
2859:
2853:
2845:
2841:
2837:
2818:
2812:
2806:
2780:
2776:
2772:
2766:
2760:
2757:
2754:
2734:
2725:
2719:
2716:
2713:
2704:
2684:
2678:
2672:
2669:
2666:
2657:
2651:
2646:
2645:
2644:
2642:
2638:
2634:
2610:
2604:
2598:
2592:
2589:
2584:
2580:
2571:
2566:
2564:
2560:
2556:
2552:
2548:
2544:
2540:
2536:
2501:
2498:
2490:
2486:
2481:
2479:
2475:
2471:
2467:
2432:
2429:
2421:
2417:
2412:
2410:
2406:
2402:
2398:
2394:
2386:
2384:
2370:
2367:
2364:
2361:
2358:
2349:
2329:
2318:
2306:
2293:
2286:
2282:
2276:
2264:
2250:
2244:
2241:
2238:
2231:
2215:
2195:
2175:
2169:
2166:
2163:
2143:
2123:
2114:
2100:
2080:
2060:
2037:
2034:
2031:
2008:
2002:
1999:
1996:
1976:
1956:
1936:
1929:generated by
1916:
1896:
1889:be a set and
1876:
1861:
1852:
1848:
1845:This section
1843:
1840:
1836:
1835:
1831:
1823:
1821:
1819:
1814:
1812:
1808:
1804:
1800:
1796:
1791:
1789:
1785:
1776:
1774:
1772:
1768:
1767:concatenation
1764:
1760:
1756:
1752:
1747:
1725:
1722:
1718:
1714:
1711:
1706:
1702:
1697:
1691:
1687:
1683:
1678:
1674:
1668:
1664:
1660:
1657:
1647:
1643:
1639:
1634:
1630:
1624:
1620:
1613:
1610:
1582:
1579:
1575:
1571:
1568:
1563:
1559:
1548:
1544:
1540:
1535:
1531:
1525:
1521:
1514:
1508:
1502:
1482:
1478:
1471:
1465:
1462:
1457:
1453:
1429:
1426:
1422:
1415:
1409:
1406:
1401:
1397:
1389:
1388:
1387:
1386:
1382:
1366:
1358:
1339:
1336:
1333:
1328:
1325:
1321:
1315:
1312:
1308:
1304:
1301:
1298:
1295:
1292:
1289:
1286:
1279:
1278:
1277:
1263:
1241:
1238:
1234:
1213:
1191:
1188:
1184:
1163:
1140:
1135:
1132:
1128:
1122:
1119:
1115:
1111:
1108:
1105:
1102:
1099:
1096:
1093:
1090:
1087:
1084:
1081:
1074:
1073:
1072:
1058:
1055:
1052:
1047:
1044:
1040:
1036:
1031:
1028:
1024:
1020:
1000:
997:
994:
991:
988:
985:
982:
974:
969:
967:
963:
944:
938:
915:
912:
909:
906:
903:
900:
897:
894:
891:
885:
882:
860:
857:
853:
830:
827:
823:
797:
794:
790:
786:
781:
778:
774:
770:
767:
764:
761:
758:
755:
744:
740:
735:
733:
729:
725:
721:
717:
709:
693:
687:
684:
678:
672:
666:
655:
651:
642:
636:
633:
630:
624:
607:
599:
598:
597:
591:
587:
584:, called the
578:
542:
539:
531:
526:
516:
509:
493:
490:
484:
478:
475:
472:
463:
446:
440:
437:
434:
411:
405:
399:
396:
393:
384:
378:
373:
372:
371:
369:
365:
364:
344:
338:
332:
329:
326:
317:
300:
288:
284:
280:
275:
269:
265:
261:
255:
250:
246:
242:
238:
233:
226:
217:
210:
206:
201:
197:
189:
187:
185:
181:
177:
172:
170:
169:free lattices
166:
162:
158:
154:
150:
147:
143:
139:
135:
124:
121:
113:
102:
99:
95:
92:
88:
85:
81:
78:
74:
71: –
70:
69:"Free object"
66:
65:Find sources:
59:
55:
49:
48:
43:This article
41:
37:
32:
31:
19:
3347:vector space
3339:free functor
3319:
3308:Stone Spaces
3307:
3302:
3272:term algebra
3223:vector space
3181:free lattice
3130:free algebra
3124:
3101:free algebra
3093:vector space
3086:
3083:
3080:General case
3073:
3065:
3055:
3049:
3045:
3041:
3037:
3029:
3023:
3009:
3007:
2892:
2843:
2839:
2835:
2798:
2702:
2655:
2649:
2636:
2632:
2569:
2567:
2562:
2558:
2554:
2550:
2546:
2542:
2538:
2534:
2488:
2484:
2482:
2473:
2469:
2415:
2413:
2405:left adjoint
2401:free functor
2400:
2390:
2387:Free functor
2350:
2265:
2230:homomorphism
2115:
1868:
1855:
1851:adding to it
1846:
1830:Term algebra
1815:
1811:word problem
1792:
1780:
1777:General case
1762:
1754:
1751:free monoids
1748:
1444:
1354:
1155:
970:
965:
961:
736:
713:
590:left adjoint
586:free functor
585:
576:
524:
521:
461:
382:
376:
361:
360:(called the
315:
286:
282:
278:
273:
267:
263:
259:
253:
244:
234:
224:
215:
208:
204:
193:
173:
156:
148:
137:
131:
116:
107:
97:
90:
83:
76:
64:
52:Please help
47:verification
44:
18:Free functor
3343:free object
3267:free theory
3228:free monoid
3219:free module
3001:, and so a
2553:. The set
2533:takes sets
2491:. That is,
2093:on the set
1784:binary tree
1771:Kleene star
287:free object
161:free groups
138:free object
134:mathematics
3356:Categories
3214:free magma
3159:free group
3119:See also:
2747:such that
2706:-morphism
2572:-morphism
1788:free magma
1357:congruence
743:generators
739:free group
465:such that
196:categories
190:Definition
80:newspapers
3245:free ring
3066:algebraic
3028:Whenever
3020:Existence
2999:T-algebra
2973:→
2961:ε
2928:→
2904:η
2857:→
2810:→
2777:η
2773:∘
2732:→
2717::
2676:→
2670::
2647:Whenever
2596:→
2581:η
2516:→
2441:→
2371:τ
2365:ψ
2362:∘
2359:σ
2319:σ
2315:↓
2307:τ
2303:↘
2287:ψ
2248:→
2239:σ
2173:→
2164:τ
2144:ρ
2081:ρ
2038:ψ
2006:→
1997:ψ
1917:ρ
1858:June 2008
1726:∈
1712:∈
1684:…
1640:…
1583:∈
1569:∈
1541:…
1427:∼
1367:∼
1326:−
1313:−
1239:−
1189:−
1133:−
1120:−
1045:−
1029:−
858:−
828:−
795:−
779:−
667:
652:≅
625:
557:→
510:commutes:
491:∘
444:→
403:→
336:→
3283:See also
3062:finitary
2283:→
2188:, where
2136:of type
1385:quotient
1256:, while
962:aebecede
724:alphabet
710:Examples
262: :
207: :
180:finitary
3070:monadic
3034:variety
3012:is the
2407:to the
2397:functor
1795:arities
1759:strings
741:in two
508:diagram
94:scholar
3314:
3064:, and
2952:counit
2659:, and
2476:, the
2464:, the
2399:, the
2333:
1989:. Let
1818:syntax
1761:using
1495:where
1206:, and
271:. Let
251:. Let
247:, the
96:
89:
82:
75:
67:
3295:Notes
3200:free
3072:over
3048:) in
3032:is a
3003:monad
1786:or a
973:group
720:words
588:is a
283:basis
200:basis
167:, or
155:over
101:JSTOR
87:books
3335:nLab
3312:ISBN
3107:and
3008:The
2948:unit
2893:The
1869:Let
966:abdc
964:and
73:news
3333:In
3074:Set
2890:).
2570:Set
2565:).
2539:Set
2537:in
2474:Set
2472:to
2418:of
1853:.
1797:or
1359:by
845:or
656:Hom
608:Hom
459:in
380:in
313:in
289:on
279:Set
268:Set
245:Set
243:to
146:set
132:In
56:by
3358::
3345:,
3341:,
3337::
3318:.
3076:.
3005:.
2977:id
2911:id
2643::
2411:.
2383:.
1813:.
1773:.
734:.
528:,
370::
266:→
235:A
214:→
171:.
163:,
3052:.
3050:C
3046:X
3044:(
3042:F
3038:X
3030:C
2982:C
2970:U
2967:F
2964::
2934:F
2931:U
2922:t
2919:e
2916:S
2907::
2878:)
2875:)
2872:X
2869:(
2866:F
2863:(
2860:U
2854:X
2844:X
2842:(
2840:F
2836:X
2822:)
2819:X
2816:(
2813:F
2807:X
2795:.
2781:X
2770:)
2767:f
2764:(
2761:U
2758:=
2755:g
2735:B
2729:)
2726:X
2723:(
2720:F
2714:f
2703:C
2688:)
2685:B
2682:(
2679:U
2673:X
2667:g
2656:C
2650:B
2637:C
2633:F
2617:)
2614:)
2611:X
2608:(
2605:F
2602:(
2599:U
2593:X
2590::
2585:X
2563:X
2561:(
2559:F
2555:X
2551:C
2547:X
2545:(
2543:F
2535:X
2520:C
2512:t
2509:e
2506:S
2502::
2499:F
2489:U
2485:F
2470:C
2451:t
2448:e
2445:S
2437:C
2433::
2430:U
2416:C
2368:=
2330:B
2294:A
2277:S
2251:B
2245:A
2242::
2216:B
2196:B
2176:B
2170:S
2167::
2124:B
2101:S
2061:A
2041:)
2035:,
2032:A
2029:(
2009:A
2003:S
2000::
1977:A
1957:A
1937:S
1897:A
1877:S
1860:)
1856:(
1763:X
1755:X
1734:}
1730:N
1723:n
1719:;
1715:S
1707:k
1703:a
1698:;
1692:n
1688:a
1679:2
1675:a
1669:1
1665:a
1661:=
1658:e
1654:|
1648:n
1644:a
1635:2
1631:a
1625:1
1621:a
1617:{
1614:=
1611:E
1591:}
1587:N
1580:n
1576:;
1572:S
1564:k
1560:a
1555:|
1549:n
1545:a
1536:2
1532:a
1526:1
1522:a
1518:{
1515:=
1512:)
1509:S
1506:(
1503:W
1483:E
1479:/
1475:)
1472:S
1469:(
1466:W
1463:=
1458:2
1454:F
1430:.
1423:/
1419:)
1416:S
1413:(
1410:W
1407:=
1402:2
1398:F
1340:.
1337:e
1334:=
1329:1
1322:a
1316:1
1309:b
1305:b
1302:a
1299:=
1296:c
1293:d
1290:b
1287:a
1264:e
1242:1
1235:b
1214:d
1192:1
1185:a
1164:c
1141:,
1136:1
1129:b
1123:1
1116:a
1112:b
1109:a
1106:=
1103:e
1100:d
1097:e
1094:c
1091:e
1088:b
1085:e
1082:a
1059:e
1056:=
1053:g
1048:1
1041:g
1037:=
1032:1
1025:g
1021:g
1001:g
998:=
995:g
992:e
989:=
986:e
983:g
948:)
945:S
942:(
939:W
919:}
916:e
913:,
910:d
907:,
904:c
901:,
898:b
895:,
892:a
889:{
886:=
883:S
861:1
854:b
831:1
824:a
803:}
798:1
791:b
787:,
782:1
775:a
771:,
768:b
765:,
762:a
759:,
756:e
753:{
694:.
691:)
688:B
685:,
682:)
679:X
676:(
673:F
670:(
661:C
649:)
646:)
643:B
640:(
637:U
634:,
631:X
628:(
619:t
616:e
613:S
594:U
582:F
577:C
561:C
553:t
550:e
547:S
543::
540:F
525:C
518:x
494:i
488:)
485:f
482:(
479:U
476:=
473:g
462:C
447:B
441:A
438::
435:f
415:)
412:B
409:(
406:U
400:X
397::
394:g
383:C
377:B
348:)
345:A
342:(
339:U
333:X
330::
327:i
316:C
301:A
291:X
274:X
264:C
260:U
254:C
230:.
228:1
225:E
219:2
216:E
212:1
209:E
205:u
157:A
149:A
123:)
117:(
112:)
108:(
98:·
91:·
84:·
77:·
50:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.