465:
977:
1074:
417:
Note that fixing the first argument of Hom naturally gives rise to a covariant functor and fixing the second argument naturally gives a contravariant functor. This is an artifact of the way in which one must compose the morphisms.
882:
1528:
810:
1414:
1471:
757:
374:
248:
1224:
1151:
1555:
1740:
1175:
1097:
902:
1198:
1005:
1255:
1865:
1579:
522:
which is contravariant in the first argument and covariant in the second. Equivalently, we may say that Hom(–, –) is a bifunctor
1316:
821:
1476:
768:
1380:
1912:
1879:
1426:
1885:
1605:
701:
559:(–, –) is sometimes used for Hom(–, –) in order to emphasize the category forming the domain.
1854:
660:
natural transformation between Hom functors is of this form. In other words, the Hom functors give rise to a
1265:
1269:
683:
Some categories may possess a functor that behaves like a Hom functor, but takes values in the category
1308:
661:
347:
221:
1719:
1178:
1203:
1130:
1533:
1277:
992:
36:
148:
1601:
1420:
972:{\displaystyle \operatorname {Hom} (I,\operatorname {hom} (-,-))\simeq \operatorname {Hom} (-,-)}
1069:{\displaystyle \operatorname {Hom} (X,Y\Rightarrow Z)\simeq \operatorname {Hom} (X\otimes Y,Z)}
592:
430:
187:
68:
64:
1725:
1581:, into limits. In a certain sense, this can be taken as the definition of a limit or colimit.
1160:
1082:
1781:
1351:
1183:
885:
270:
1354:(or representable copresheaf); likewise, a contravariant functor equivalent to Hom(–,
1689:
1233:
8:
1335:
1112:
458:
1871:
1677:
1564:
1273:
1227:
1963:
1908:
1875:
1850:
1842:
1812:
1666:
1261:
1108:
653:
546:
406:
137:
72:
51:
and have numerous applications in category theory and other branches of mathematics.
1776:
1621:
669:
95:
44:
1900:
1124:
893:
24:
1123:. In other words, in a closed monoidal category, the internal Hom functor is an
1659:
506:
The commutativity of the above diagram implies that Hom(–, –) is a
1957:
1941:
1715:
1655:
1643:
573:
Referring to the above commutative diagram, one observes that every morphism
1929:
568:
76:
1771:
1585:
988:
815:
to emphasize its functorial nature, or sometimes merely in lower-case:
20:
1374:
1100:
877:{\displaystyle \operatorname {hom} (-,-):C^{\text{op}}\times C\to C.}
675:(covariant or contravariant depending on which Hom functor is used).
507:
996:
892:
Categories that possess an internal Hom functor are referred to as
32:
1523:{\displaystyle \operatorname {hom} (-,X)\colon C^{\text{op}}\to C}
1260:
Internal Homs, when chained together, form a language, called the
805:{\displaystyle \mathop {\Rightarrow } :C^{\text{op}}\times C\to C}
1815:, and this encodes the arrow-reversing behaviour of Hom(–,
1558:
40:
28:
464:
1409:{\displaystyle \operatorname {id} _{C}\colon C\nrightarrow C}
1945:
1933:
1466:{\displaystyle \operatorname {hom} (X,-)\colon C\to C}
1728:
1567:
1536:
1479:
1429:
1383:
1236:
1206:
1186:
1163:
1133:
1085:
1008:
905:
824:
771:
704:
350:
224:
16:
Functor mapping hom objects to an underlying category
1377:, and, specifically, it is the identity profunctor
1734:
1573:
1549:
1522:
1465:
1408:
1249:
1218:
1192:
1169:
1145:
1091:
1068:
971:
876:
804:
751:
368:
242:
1955:
752:{\displaystyle \left:C^{\text{op}}\times C\to C}
1264:of the category. The most famous of these are
1127:to the internal product functor. The object
762:to emphasize its product-like nature, or as
991:of the closed category. For the case of a
1863:
1899:
1847:Categories for the Working Mathematician
1841:
1867:Topoi, the Categorial Analysis of Logic
1361:Note that Hom(–, –) :
691:. Such a functor is referred to as the
678:
633:gives rise to a natural transformation
1956:
1907:. Vol. 2 (2nd ed.). Dover.
1278:closed symmetric monoidal categories
1276:, which is the internal language of
1268:, which is the internal language of
54:
1828:Jacobson (2009), p. 149, Prop. 3.9.
1611:
1419:The internal hom functor preserves
1358:) might be called corepresentable.
71:for which hom-classes are actually
13:
463:
14:
1975:
1923:
562:
369:{\displaystyle g\mapsto g\circ h}
243:{\displaystyle g\mapsto f\circ g}
1600:can be given the structure of a
1288:Note that a functor of the form
995:, this extends to the notion of
1822:
1793:
1514:
1498:
1486:
1473:sends limits to limits, while
1457:
1448:
1436:
1219:{\displaystyle Y\Rightarrow Z}
1210:
1146:{\displaystyle Y\Rightarrow Z}
1137:
1063:
1045:
1033:
1027:
1015:
966:
954:
942:
939:
927:
912:
865:
843:
831:
796:
773:
743:
354:
228:
174:, –) maps each morphism
94:we define two functors to the
1:
1849:(Second ed.). Springer.
1834:
1606:environment (or reader) monad
1550:{\displaystyle C^{\text{op}}}
1283:
526:Hom(–, –) :
288:to the set of morphisms, Hom(
159:to the set of morphisms, Hom(
1266:simply typed lambda calculus
433:. For any pair of morphisms
425:, –) and Hom(–,
47:. These functors are called
7:
1864:Goldblatt, Robert (2006) .
1765:
1604:; this monad is called the
1270:Cartesian closed categories
10:
1980:
1642:, –) is a covariant
1230:, and is often written as
695:, and is often written as
664:embedding of the category
566:
421:The pair of functors Hom(
400:The functor Hom(–,
39:) give rise to important
1787:
1735:{\displaystyle \otimes }
1170:{\displaystyle \otimes }
1105:internal product functor
1092:{\displaystyle \otimes }
993:closed monoidal category
1193:{\displaystyle \times }
645:) → Hom(–,
606:, –) → Hom(
1799:Also commonly denoted
1736:
1575:
1551:
1524:
1467:
1410:
1251:
1220:
1194:
1171:
1147:
1111:. The isomorphism is
1093:
1070:
973:
878:
806:
753:
641:) : Hom(–,
602:, –) : Hom(
593:natural transformation
468:
457:the following diagram
370:
244:
65:locally small category
1782:Representable functor
1737:
1576:
1552:
1525:
1468:
1411:
1352:representable functor
1252:
1250:{\displaystyle Z^{Y}}
1221:
1195:
1172:
1148:
1094:
1071:
974:
886:Category of relations
879:
807:
754:
467:
404:) is also called the
371:
303:) maps each morphism
271:contravariant functor
245:
1870:(Revised ed.).
1726:
1565:
1534:
1477:
1427:
1381:
1342:, –) for some
1336:naturally isomorphic
1234:
1204:
1184:
1161:
1131:
1083:
1006:
903:
822:
769:
702:
693:internal Hom functor
687:itself, rather than
679:Internal Hom functor
348:
222:
614:and every morphism
553:. The notation Hom
429:) are related in a
280:) maps each object
1872:Dover Publications
1845:(September 1998).
1843:Mac Lane, Saunders
1732:
1592:, –) :
1571:
1547:
1520:
1463:
1406:
1274:linear type system
1247:
1228:exponential object
1216:
1190:
1167:
1143:
1089:
1066:
969:
884:For examples, see
874:
802:
749:
469:
366:
240:
110:, –) :
23:, specifically in
1914:978-0-486-47187-7
1881:978-0-486-45026-1
1813:opposite category
1692:. The functor Hom
1574:{\displaystyle C}
1544:
1511:
1262:internal language
1179:Cartesian product
1109:monoidal category
894:closed categories
856:
787:
734:
715:
662:full and faithful
610:′, –)
547:opposite category
407:functor of points
396:
395:
138:covariant functor
55:Formal definition
1971:
1918:
1901:Jacobson, Nathan
1896:
1894:
1893:
1884:. Archived from
1860:
1829:
1826:
1820:
1797:
1777:Functor category
1741:
1739:
1738:
1733:
1722:functor –
1650:to the category
1628:is an object of
1622:abelian category
1612:Other properties
1580:
1578:
1577:
1572:
1556:
1554:
1553:
1548:
1546:
1545:
1542:
1530:sends limits in
1529:
1527:
1526:
1521:
1513:
1512:
1509:
1472:
1470:
1469:
1464:
1415:
1413:
1412:
1407:
1393:
1392:
1315:, –) is a
1311:; likewise, Hom(
1256:
1254:
1253:
1248:
1246:
1245:
1225:
1223:
1222:
1217:
1199:
1197:
1196:
1191:
1176:
1174:
1173:
1168:
1152:
1150:
1149:
1144:
1098:
1096:
1095:
1090:
1075:
1073:
1072:
1067:
978:
976:
975:
970:
896:. One has that
883:
881:
880:
875:
858:
857:
854:
811:
809:
808:
803:
789:
788:
785:
776:
758:
756:
755:
750:
736:
735:
732:
723:
719:
713:
670:functor category
591:gives rise to a
584:′ →
471:Both paths send
375:
373:
372:
367:
315:to the function
249:
247:
246:
241:
103:
102:
96:category of sets
82:For all objects
45:category of sets
1979:
1978:
1974:
1973:
1972:
1970:
1969:
1968:
1954:
1953:
1926:
1921:
1915:
1891:
1889:
1882:
1857:
1837:
1832:
1827:
1823:
1798:
1794:
1790:
1768:
1746:
1727:
1724:
1723:
1697:
1637:
1614:
1566:
1563:
1562:
1541:
1537:
1535:
1532:
1531:
1508:
1504:
1478:
1475:
1474:
1428:
1425:
1424:
1388:
1384:
1382:
1379:
1378:
1286:
1241:
1237:
1235:
1232:
1231:
1205:
1202:
1201:
1185:
1182:
1181:
1162:
1159:
1158:
1132:
1129:
1128:
1125:adjoint functor
1084:
1081:
1080:
1007:
1004:
1003:
999:, namely, that
904:
901:
900:
853:
849:
823:
820:
819:
784:
780:
772:
770:
767:
766:
731:
727:
709:
705:
703:
700:
699:
681:
571:
565:
558:
491: ∘
487: ∘
349:
346:
345:
223:
220:
219:
57:
25:category theory
17:
12:
11:
5:
1977:
1967:
1966:
1952:
1951:
1939:
1925:
1924:External links
1922:
1920:
1919:
1913:
1897:
1880:
1861:
1855:
1838:
1836:
1833:
1831:
1830:
1821:
1791:
1789:
1786:
1785:
1784:
1779:
1774:
1767:
1764:
1742:
1731:
1720:tensor product
1693:
1660:if and only if
1658:. It is exact
1656:abelian groups
1633:
1613:
1610:
1570:
1540:
1519:
1516:
1507:
1503:
1500:
1497:
1494:
1491:
1488:
1485:
1482:
1462:
1459:
1456:
1453:
1450:
1447:
1444:
1441:
1438:
1435:
1432:
1405:
1402:
1399:
1396:
1391:
1387:
1305:
1304:
1285:
1282:
1244:
1240:
1226:is called the
1215:
1212:
1209:
1189:
1166:
1153:is called the
1142:
1139:
1136:
1088:
1077:
1076:
1065:
1062:
1059:
1056:
1053:
1050:
1047:
1044:
1041:
1038:
1035:
1032:
1029:
1026:
1023:
1020:
1017:
1014:
1011:
981:
980:
968:
965:
962:
959:
956:
953:
950:
947:
944:
941:
938:
935:
932:
929:
926:
923:
920:
917:
914:
911:
908:
890:
889:
873:
870:
867:
864:
861:
852:
848:
845:
842:
839:
836:
833:
830:
827:
813:
812:
801:
798:
795:
792:
783:
779:
775:
760:
759:
748:
745:
742:
739:
730:
726:
722:
718:
712:
708:
680:
677:
654:Yoneda's lemma
651:
650:
631:
630:
612:
611:
589:
588:
567:Main article:
564:
563:Yoneda's lemma
561:
554:
539:
538:
431:natural manner
410:of the object
398:
397:
394:
393:
392:
391:
390:
389:
365:
362:
359:
356:
353:
343:
297:
267:
266:
265:
264:
263:
239:
236:
233:
230:
227:
217:
168:
133:
132:
118:
77:proper classes
56:
53:
31:(i.e. sets of
15:
9:
6:
4:
3:
2:
1976:
1965:
1962:
1961:
1959:
1950:
1948:
1943:
1940:
1938:
1936:
1931:
1928:
1927:
1916:
1910:
1906:
1905:Basic algebra
1902:
1898:
1888:on 2020-03-21
1887:
1883:
1877:
1873:
1869:
1868:
1862:
1858:
1856:0-387-98403-8
1852:
1848:
1844:
1840:
1839:
1825:
1818:
1814:
1810:
1806:
1802:
1796:
1792:
1783:
1780:
1778:
1775:
1773:
1770:
1769:
1763:
1761:
1757:
1753:
1749:
1745:
1729:
1721:
1717:
1713:
1709:
1705:
1701:
1696:
1691:
1687:
1683:
1679:
1675:
1670:
1668:
1664:
1661:
1657:
1653:
1649:
1646:functor from
1645:
1641:
1636:
1631:
1627:
1623:
1619:
1609:
1607:
1603:
1599:
1595:
1591:
1587:
1582:
1568:
1560:
1538:
1517:
1505:
1501:
1495:
1492:
1489:
1483:
1480:
1460:
1454:
1451:
1445:
1442:
1439:
1433:
1430:
1422:
1417:
1403:
1400:
1397:
1394:
1389:
1385:
1376:
1372:
1368:
1364:
1359:
1357:
1353:
1349:
1345:
1341:
1337:
1333:
1329:
1325:
1320:
1318:
1314:
1310:
1303:
1299:
1295:
1292:Hom(–,
1291:
1290:
1289:
1281:
1279:
1275:
1271:
1267:
1263:
1258:
1242:
1238:
1229:
1213:
1207:
1200:, the object
1187:
1180:
1164:
1156:
1140:
1134:
1126:
1122:
1118:
1114:
1110:
1106:
1102:
1086:
1060:
1057:
1054:
1051:
1048:
1042:
1039:
1036:
1030:
1024:
1021:
1018:
1012:
1009:
1002:
1001:
1000:
998:
994:
990:
986:
963:
960:
957:
951:
948:
945:
936:
933:
930:
924:
921:
918:
915:
909:
906:
899:
898:
897:
895:
887:
871:
868:
862:
859:
850:
846:
840:
837:
834:
828:
825:
818:
817:
816:
799:
793:
790:
781:
777:
765:
764:
763:
746:
740:
737:
728:
724:
720:
716:
710:
706:
698:
697:
696:
694:
690:
686:
676:
674:
671:
667:
663:
659:
656:implies that
655:
648:
644:
640:
637:Hom(–,
636:
635:
634:
628:
624:
620:
617:
616:
615:
609:
605:
601:
597:
596:
595:
594:
587:
583:
579:
576:
575:
574:
570:
560:
557:
552:
548:
544:
537:
533:
529:
525:
524:
523:
521:
517:
513:
509:
504:
502:
498:
494:
490:
486:
482:
478:
474:
466:
462:
460:
456:
452:
448:
444:
440:
436:
432:
428:
424:
419:
415:
413:
409:
408:
403:
387:
383:
379:
363:
360:
357:
351:
344:
341:
337:
333:
329:
326:) : Hom(
325:
321:
317:
316:
314:
310:
306:
302:
299:Hom(–,
298:
295:
291:
287:
283:
279:
276:Hom(–,
275:
274:
272:
268:
261:
257:
253:
237:
234:
231:
225:
218:
215:
211:
207:
203:
200:) : Hom(
199:
195:
191:
190:
189:
185:
181:
177:
173:
169:
166:
162:
158:
154:
150:
146:
142:
141:
139:
135:
134:
131:
127:
123:
120:Hom(–,
119:
117:
113:
109:
105:
104:
101:
100:
99:
97:
93:
89:
85:
80:
78:
74:
70:
66:
62:
52:
50:
46:
42:
38:
34:
30:
26:
22:
1946:
1942:Internal Hom
1934:
1904:
1890:. Retrieved
1886:the original
1866:
1846:
1824:
1816:
1811:denotes the
1808:
1804:
1800:
1795:
1759:
1755:
1751:
1747:
1743:
1711:
1707:
1703:
1702:, –):
1699:
1694:
1685:
1681:
1673:
1671:
1662:
1651:
1647:
1639:
1634:
1629:
1625:
1617:
1615:
1597:
1593:
1589:
1583:
1418:
1370:
1366:
1362:
1360:
1355:
1350:is called a
1347:
1343:
1339:
1331:
1327:
1323:
1321:
1312:
1306:
1301:
1297:
1293:
1287:
1259:
1155:internal Hom
1154:
1120:
1116:
1104:
1078:
984:
982:
891:
814:
761:
692:
688:
684:
682:
672:
665:
657:
652:
646:
642:
638:
632:
626:
622:
618:
613:
607:
603:
599:
590:
585:
581:
577:
572:
569:Yoneda lemma
555:
550:
542:
540:
535:
531:
527:
519:
515:
511:
505:
500:
496:
492:
488:
484:
480:
476:
472:
470:
454:
450:
446:
445:′ and
442:
438:
434:
426:
422:
420:
416:
411:
405:
401:
399:
385:
381:
377:
339:
335:
331:
327:
323:
319:
312:
308:
304:
300:
293:
289:
285:
281:
277:
259:
255:
251:
213:
209:
205:
201:
197:
193:
183:
179:
175:
171:
164:
160:
156:
152:
151:each object
144:
129:
125:
121:
115:
111:
107:
98:as follows:
91:
87:
83:
81:
60:
58:
49:hom-functors
48:
18:
1930:Hom functor
1772:Ext functor
1586:endofunctor
1423:; that is,
1107:defining a
989:unit object
147:, –)
21:mathematics
1892:2009-11-25
1835:References
1667:projective
1644:left-exact
1632:, then Hom
1557:, that is
1375:profunctor
1322:A functor
1317:copresheaf
1284:Properties
1272:, and the
453:′ →
342:) given by
273:given by:
269:This is a
216:) given by
140:given by:
136:This is a
1730:⊗
1515:→
1502::
1490:−
1484:
1458:→
1452::
1446:−
1434:
1401:↛
1395::
1296:) :
1211:⇒
1188:×
1165:⊗
1138:⇒
1101:bifunctor
1087:⊗
1052:⊗
1043:
1037:≃
1028:⇒
1013:
964:−
958:−
952:
946:≃
937:−
931:−
925:
910:
866:→
860:×
841:−
835:−
829:
797:→
791:×
774:⇒
744:→
738:×
717:−
711:−
668:into the
508:bifunctor
376:for each
361:∘
355:↦
250:for each
235:∘
229:↦
124:) :
33:morphisms
1964:Functors
1958:Category
1903:(2009).
1807:, where
1803:→
1766:See also
1596:→
1559:colimits
1369:→
1334:that is
1330:→
1326: :
1309:presheaf
1300:→
1157:. When
1115:in both
997:currying
649:′)
625:→
621: :
580: :
534:→
495: :
475: :
459:commutes
449: :
437: :
334:) → Hom(
307: :
208:) → Hom(
188:function
178: :
128:→
114:→
75:and not
69:category
67:(i.e. a
41:functors
35:between
29:hom-sets
1944:at the
1932:at the
1718:to the
1716:adjoint
1684:a left
1365:×
1338:to Hom(
1177:is the
1113:natural
987:is the
629:′
545:is the
530:×
380:in Hom(
254:in Hom(
186:to the
43:to the
37:objects
1911:
1878:
1853:
1690:module
1620:is an
1421:limits
1103:, the
1079:where
983:where
714:
541:where
1788:Notes
1676:be a
1602:monad
1373:is a
1307:is a
1099:is a
658:every
510:from
63:be a
1909:ISBN
1876:ISBN
1851:ISBN
1680:and
1678:ring
1672:Let
1624:and
1588:Hom(
1584:The
1119:and
598:Hom(
499:′ →
318:Hom(
192:Hom(
170:Hom(
149:maps
143:Hom(
106:Hom(
86:and
73:sets
59:Let
1949:Lab
1937:Lab
1805:Set
1756:Mod
1714:is
1704:Mod
1665:is
1654:of
1616:If
1598:Set
1594:Set
1561:in
1481:hom
1431:hom
1371:Set
1346:in
1332:Set
1302:Set
1040:Hom
1010:Hom
949:Hom
922:hom
907:Hom
826:hom
689:Set
673:Set
549:to
536:Set
520:Set
518:to
503:′.
483:to
284:in
155:in
130:Set
116:Set
90:in
79:).
19:In
1960::
1874:.
1819:).
1762:.
1754:→
1752:Ab
1750::
1712:Ab
1710:→
1669:.
1652:Ab
1608:.
1543:op
1510:op
1416:.
1386:id
1319:.
1280:.
1257:.
855:op
786:op
733:op
514:×
479:→
461::
441:→
414:.
388:).
384:,
338:,
330:,
322:,
311:→
292:,
262:).
258:,
212:,
204:,
196:,
182:→
163:,
27:,
1947:n
1935:n
1917:.
1895:.
1859:.
1817:B
1809:C
1801:C
1760:R
1758:-
1748:M
1744:R
1708:R
1706:-
1700:M
1698:(
1695:R
1688:-
1686:R
1682:M
1674:R
1663:A
1648:A
1640:A
1638:(
1635:A
1630:A
1626:A
1618:A
1590:E
1569:C
1539:C
1518:C
1506:C
1499:)
1496:X
1493:,
1487:(
1461:C
1455:C
1449:)
1443:,
1440:X
1437:(
1404:C
1398:C
1390:C
1367:C
1363:C
1356:A
1348:C
1344:A
1340:A
1328:C
1324:F
1313:A
1298:C
1294:A
1243:Y
1239:Z
1214:Z
1208:Y
1141:Z
1135:Y
1121:Z
1117:X
1064:)
1061:Z
1058:,
1055:Y
1049:X
1046:(
1034:)
1031:Z
1025:Y
1022:,
1019:X
1016:(
985:I
979:,
967:)
961:,
955:(
943:)
940:)
934:,
928:(
919:,
916:I
913:(
888:.
872:.
869:C
863:C
851:C
847::
844:)
838:,
832:(
800:C
794:C
782:C
778::
747:C
741:C
729:C
725::
721:]
707:[
685:C
666:C
647:B
643:B
639:f
627:B
623:B
619:f
608:A
604:A
600:h
586:A
582:A
578:h
556:C
551:C
543:C
532:C
528:C
516:C
512:C
501:B
497:A
493:h
489:g
485:f
481:B
477:A
473:g
455:A
451:A
447:h
443:B
439:B
435:f
427:B
423:A
412:B
402:B
386:B
382:Y
378:g
364:h
358:g
352:g
340:B
336:X
332:B
328:Y
324:B
320:h
313:Y
309:X
305:h
301:B
296:)
294:B
290:X
286:C
282:X
278:B
260:X
256:A
252:g
238:g
232:f
226:g
214:Y
210:A
206:X
202:A
198:f
194:A
184:Y
180:X
176:f
172:A
167:)
165:X
161:A
157:C
153:X
145:A
126:C
122:B
112:C
108:A
92:C
88:B
84:A
61:C
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.