1618:
210:
1865:
1885:
1875:
787:
which preserves limits will take terminal objects to terminal objects, and any functor which preserves colimits will take initial objects to initial objects. For example, the initial object in any
595:
Initial and terminal objects are not required to exist in a given category. However, if they do exist, they are essentially unique. Specifically, if
904:
Many natural constructions in category theory can be formulated in terms of finding an initial or terminal object in a suitable category.
1262:
1193:
1233:
1547:
205:
of sets and relations, the empty set is the unique initial object, the unique terminal object, and hence the unique zero object.
188:) is a terminal object in this category; there are no zero objects. Similarly, the empty space is the unique initial object in
1112:
1914:
1909:
1210:
1170:
1125:
1015:(respectively, initial functor) is a generalization of the notion of final object (respectively, initial object).
400:, there are no initial or terminal objects. However, in the subcategory of fields of fixed characteristic, the
193:
1255:
1198:
475:
1888:
1828:
1537:
1878:
1664:
1528:
1436:
1162:
298:
1837:
1481:
1419:
1342:
726:
517:
328:
505:
of the ring of integers, is a terminal object. The empty scheme (equal to the prime spectrum of the
1868:
1824:
1429:
1248:
306:
27:
1424:
1406:
760:
722:
513:
185:
1631:
1397:
1377:
1300:
633:
85:
46:
1513:
1352:
990:
578:, the initial and terminal objects are the anonymous zero object. This is used frequently in
408:
333:
201:
149:
20:
1325:
1320:
1001:
494:
1220:
1180:
1135:
8:
1669:
1617:
1543:
1347:
1026:
317:
222:(whose objects are non-empty sets together with a distinguished element; a morphism from
1523:
1518:
1500:
1382:
1357:
909:
857:
815:
502:
397:
286:
1832:
1769:
1757:
1659:
1584:
1579:
1533:
1315:
1310:
1206:
1188:
1166:
1159:
Categorical foundations. Special topics in order, topology, algebra, and sheaf theory
1121:
971:
804:
788:
739:
629:
524:
371:
345:
1793:
1679:
1654:
1589:
1574:
1569:
1508:
1337:
1305:
1216:
1176:
1131:
819:
465:
181:
1705:
1271:
1202:
486:(with no objects and no morphisms), as initial object and the terminal category,
34:
1742:
1737:
1721:
1684:
1674:
1594:
1139:
921:
657:
559:
436:
375:
209:
1903:
1732:
1564:
1441:
1367:
1161:. Encyclopedia of Mathematics and Its Applications. Vol. 97. Cambridge:
1089:
1012:
743:
455:
290:
275:
19:"Zero object" redirects here. For zero object in an algebraic structure, see
1486:
1387:
800:
796:
649:
535:
may be characterised as an initial object in the category of co-cones from
490:(with a single object with a single identity morphism), as terminal object.
213:
Morphisms of pointed sets. The image also applies to algebraic zero objects
26:"Terminal element" redirects here. For the project management concept, see
1747:
1727:
1599:
1469:
792:
614:
401:
219:
160:
38:
1779:
1717:
1330:
579:
826:
be the discrete category with a single object (denoted by •), and let
1773:
1464:
777:
774:
506:
382:
356:
173:
632:
there is an existence theorem for initial objects. Specifically, a (
1842:
1474:
1372:
814:
Initial and terminal objects may also be characterized in terms of
274:), every singleton is a zero object. Similarly, in the category of
69:
1240:
625:
is also an initial object. The same is true for terminal objects.
418:
can be interpreted as a category: the objects are the elements of
1812:
1802:
1451:
1362:
784:
479:
349:
196:
and every one-point space is a terminal object in this category.
1807:
899:
795:
will be the free object generated by the empty set (since the
293:
is a zero object. The trivial object is also a zero object in
1689:
1229:
1111:
Adámek, Jiří; Herrlich, Horst; Strecker, George E. (1990).
613:
are two different initial objects, then there is a unique
337:
for details. This is the origin of the term "zero object".
133:
If an object is both initial and terminal, it is called a
1157:
Pedicchio, Maria
Cristina; Tholen, Walter, eds. (2004).
746:(a product is indeed the limit of the discrete diagram
640:
has an initial object if and only if there exist a set
348:
with unity and unity-preserving morphisms, the ring of
1110:
374:
with unity and unity-preserving morphisms, the rig of
16:
Special objects used in (mathematical) category theory
448:. This category has an initial object if and only if
1234:
article on examples of initial and terminal objects
982:is an initial object in the category of cones from
621:is an initial object then any object isomorphic to
1114:Abstract and Concrete Categories. The joy of cats
523:may be characterised as a terminal object in the
381:is an initial object. The zero rig, which is the
1901:
1156:
759:, in general). Dually, an initial object is a
1256:
742:, a terminal object can be thought of as an
920:can be defined as an initial object in the
900:Relation to other categorical constructions
590:
551:of chain complexes over a commutative ring
1884:
1874:
1630:
1263:
1249:
738:. Since the empty category is vacuously a
712:
458:; it has a terminal object if and only if
1194:Categories for the Working Mathematician
1187:
208:
126:, and terminal objects are also called
1902:
424:, and there is a single morphism from
385:, consisting only of a single element
1629:
1282:
1244:
482:as morphisms has the empty category,
155:is one for which every morphism into
935:. Dually, a universal morphism from
840:be the unique (constant) functor to
555:, the zero complex is a zero object.
359:consisting only of a single element
1270:
1019:
887:to •. The functor which sends • to
278:, every singleton is a zero object.
13:
118:. Initial objects are also called
108:there exists exactly one morphism
14:
1926:
1228:This article is based in part on
1029:of an initial or terminal object
684:, there is at least one morphism
1883:
1873:
1864:
1863:
1616:
1283:
176:is the unique initial object in
100:is terminal if for every object
1066:, then for any pair of objects
864:. The functor which sends • to
717:Terminal objects in a category
1201:. Vol. 5 (2nd ed.).
194:category of topological spaces
1:
1199:Graduate Texts in Mathematics
1104:
883:is a universal morphism from
585:
68:, there exists precisely one
1000:is an initial object in the
773:and can be thought of as an
476:category of small categories
7:
1558:Constructions on categories
991:representation of a functor
617:between them. Moreover, if
166:
145:is one with a zero object.
60:such that for every object
10:
1931:
1665:Higher-dimensional algebra
1163:Cambridge University Press
355:is an initial object. The
299:category of abelian groups
276:pointed topological spaces
25:
18:
1915:Objects (category theory)
1859:
1792:
1756:
1704:
1697:
1648:
1638:
1625:
1614:
1557:
1499:
1450:
1405:
1396:
1293:
1289:
1278:
1120:. John Wiley & Sons.
1078:, the unique composition
676:such that for any object
531:. Likewise, a colimit of
329:category of vector spaces
184:. Every one-element set (
1910:Limits (category theory)
962:is a terminal object in
943:is a terminal object in
591:Existence and uniqueness
307:category of pseudo-rings
28:work breakdown structure
1475:Cokernels and quotients
1398:Universal constructions
978:. Dually, a colimit of
958:The limit of a diagram
811:, preserves colimits).
721:may also be defined as
713:Equivalent formulations
509:) is an initial object.
1632:Higher category theory
1378:Natural transformation
214:
763:of the empty diagram
409:partially ordered set
404:is an initial object.
389:is a terminal object.
363:is a terminal object.
334:Zero object (algebra)
212:
150:strict initial object
21:zero object (algebra)
1501:Algebraic categories
1002:category of elements
891:is right adjoint to
816:universal properties
783:It follows that any
780:or categorical sum.
725:of the unique empty
636:) complete category
580:cohomology theories.
560:short exact sequence
88:notion is that of a
1670:Homotopy hypothesis
1348:Commutative diagram
1027:endomorphism monoid
868:is left adjoint to
630:complete categories
493:In the category of
318:category of modules
218:In the category of
1383:Universal property
1189:Mac Lane, Saunders
1062:has a zero object
910:universal morphism
875:A terminal object
858:universal morphism
848:An initial object
398:category of fields
370:, the category of
331:over a field. See
287:category of groups
215:
1897:
1896:
1855:
1854:
1851:
1850:
1833:monoidal category
1788:
1787:
1660:Enriched category
1612:
1611:
1608:
1607:
1585:Quotient category
1580:Opposite category
1495:
1494:
972:category of cones
805:forgetful functor
789:concrete category
740:discrete category
525:category of cones
346:category of rings
320:over a ring, and
246:being a function
1922:
1887:
1886:
1877:
1876:
1867:
1866:
1702:
1701:
1680:Simplex category
1655:Categorification
1646:
1645:
1627:
1626:
1620:
1590:Product category
1575:Kleisli category
1570:Functor category
1415:Terminal objects
1403:
1402:
1338:Adjoint functors
1291:
1290:
1280:
1279:
1265:
1258:
1251:
1242:
1241:
1224:
1184:
1153:
1151:
1150:
1144:
1138:. Archived from
1119:
1099:
1095:
1087:
1077:
1073:
1069:
1065:
1061:
1054:
1032:
1020:Other properties
1007:
995:
985:
981:
977:
969:
961:
954:
942:
938:
934:
919:
915:
894:
890:
886:
882:
878:
867:
863:
855:
851:
839:
820:adjoint functors
772:
758:
737:
720:
708:
698:
683:
679:
675:
671:
655:
643:
639:
624:
620:
612:
603:
577:
542:In the category
466:greatest element
463:
453:
447:
435:
429:
423:
417:
388:
362:
273:
259:
245:
233:
199:In the category
182:category of sets
158:
154:
143:pointed category
117:
107:
103:
99:
94:terminal element
80:
67:
63:
59:
55:
51:
1930:
1929:
1925:
1924:
1923:
1921:
1920:
1919:
1900:
1899:
1898:
1893:
1847:
1817:
1784:
1761:
1752:
1709:
1693:
1644:
1634:
1621:
1604:
1553:
1491:
1460:Initial objects
1446:
1392:
1285:
1274:
1272:Category theory
1269:
1213:
1203:Springer-Verlag
1173:
1148:
1146:
1142:
1128:
1117:
1107:
1097:
1093:
1079:
1075:
1071:
1067:
1063:
1059:
1052:
1034:
1030:
1022:
1005:
993:
983:
979:
975:
963:
959:
944:
940:
936:
924:
917:
913:
912:from an object
902:
892:
888:
884:
880:
876:
865:
861:
853:
849:
827:
764:
756:
747:
729:
718:
715:
700:
693:
685:
681:
677:
673:
669:
660:
653:
641:
637:
622:
618:
611:
605:
602:
596:
593:
588:
563:
549:
459:
449:
439:
431:
425:
419:
411:
386:
376:natural numbers
360:
261:
247:
235:
223:
169:
156:
152:
109:
105:
101:
97:
90:terminal object
72:
65:
61:
57:
53:
49:
35:category theory
31:
24:
17:
12:
11:
5:
1928:
1918:
1917:
1912:
1895:
1894:
1892:
1891:
1881:
1871:
1860:
1857:
1856:
1853:
1852:
1849:
1848:
1846:
1845:
1840:
1835:
1821:
1815:
1810:
1805:
1799:
1797:
1790:
1789:
1786:
1785:
1783:
1782:
1777:
1766:
1764:
1759:
1754:
1753:
1751:
1750:
1745:
1740:
1735:
1730:
1725:
1714:
1712:
1707:
1699:
1695:
1694:
1692:
1687:
1685:String diagram
1682:
1677:
1675:Model category
1672:
1667:
1662:
1657:
1652:
1650:
1643:
1642:
1639:
1636:
1635:
1623:
1622:
1615:
1613:
1610:
1609:
1606:
1605:
1603:
1602:
1597:
1595:Comma category
1592:
1587:
1582:
1577:
1572:
1567:
1561:
1559:
1555:
1554:
1552:
1551:
1541:
1531:
1529:Abelian groups
1526:
1521:
1516:
1511:
1505:
1503:
1497:
1496:
1493:
1492:
1490:
1489:
1484:
1479:
1478:
1477:
1467:
1462:
1456:
1454:
1448:
1447:
1445:
1444:
1439:
1434:
1433:
1432:
1422:
1417:
1411:
1409:
1400:
1394:
1393:
1391:
1390:
1385:
1380:
1375:
1370:
1365:
1360:
1355:
1350:
1345:
1340:
1335:
1334:
1333:
1328:
1323:
1318:
1313:
1308:
1297:
1295:
1287:
1286:
1276:
1275:
1268:
1267:
1260:
1253:
1245:
1239:
1238:
1225:
1211:
1185:
1171:
1154:
1126:
1106:
1103:
1102:
1101:
1058:If a category
1056:
1048:
1021:
1018:
1017:
1016:
1011:The notion of
1009:
987:
956:
922:comma category
901:
898:
897:
896:
873:
752:
714:
711:
689:
672:of objects of
665:
658:indexed family
647:
609:
600:
592:
589:
587:
584:
583:
582:
556:
545:
540:
510:
503:prime spectrum
491:
469:
437:if and only if
405:
390:
364:
338:
279:
207:
206:
197:
168:
165:
43:initial object
37:, a branch of
15:
9:
6:
4:
3:
2:
1927:
1916:
1913:
1911:
1908:
1907:
1905:
1890:
1882:
1880:
1872:
1870:
1862:
1861:
1858:
1844:
1841:
1839:
1836:
1834:
1830:
1826:
1822:
1820:
1818:
1811:
1809:
1806:
1804:
1801:
1800:
1798:
1795:
1791:
1781:
1778:
1775:
1771:
1768:
1767:
1765:
1763:
1755:
1749:
1746:
1744:
1741:
1739:
1736:
1734:
1733:Tetracategory
1731:
1729:
1726:
1723:
1722:pseudofunctor
1719:
1716:
1715:
1713:
1711:
1703:
1700:
1696:
1691:
1688:
1686:
1683:
1681:
1678:
1676:
1673:
1671:
1668:
1666:
1663:
1661:
1658:
1656:
1653:
1651:
1647:
1641:
1640:
1637:
1633:
1628:
1624:
1619:
1601:
1598:
1596:
1593:
1591:
1588:
1586:
1583:
1581:
1578:
1576:
1573:
1571:
1568:
1566:
1565:Free category
1563:
1562:
1560:
1556:
1549:
1548:Vector spaces
1545:
1542:
1539:
1535:
1532:
1530:
1527:
1525:
1522:
1520:
1517:
1515:
1512:
1510:
1507:
1506:
1504:
1502:
1498:
1488:
1485:
1483:
1480:
1476:
1473:
1472:
1471:
1468:
1466:
1463:
1461:
1458:
1457:
1455:
1453:
1449:
1443:
1442:Inverse limit
1440:
1438:
1435:
1431:
1428:
1427:
1426:
1423:
1421:
1418:
1416:
1413:
1412:
1410:
1408:
1404:
1401:
1399:
1395:
1389:
1386:
1384:
1381:
1379:
1376:
1374:
1371:
1369:
1368:Kan extension
1366:
1364:
1361:
1359:
1356:
1354:
1351:
1349:
1346:
1344:
1341:
1339:
1336:
1332:
1329:
1327:
1324:
1322:
1319:
1317:
1314:
1312:
1309:
1307:
1304:
1303:
1302:
1299:
1298:
1296:
1292:
1288:
1281:
1277:
1273:
1266:
1261:
1259:
1254:
1252:
1247:
1246:
1243:
1237:
1235:
1231:
1226:
1222:
1218:
1214:
1212:0-387-98403-8
1208:
1204:
1200:
1196:
1195:
1190:
1186:
1182:
1178:
1174:
1172:0-521-83414-7
1168:
1164:
1160:
1155:
1145:on 2015-04-21
1141:
1137:
1133:
1129:
1127:0-471-60922-6
1123:
1116:
1115:
1109:
1108:
1091:
1090:zero morphism
1086:
1082:
1057:
1051:
1046:
1042:
1038:
1028:
1024:
1023:
1014:
1013:final functor
1010:
1003:
999:
992:
988:
973:
967:
957:
952:
948:
932:
928:
923:
916:to a functor
911:
907:
906:
905:
874:
871:
859:
847:
846:
845:
843:
838:
834:
830:
825:
821:
817:
812:
810:
806:
802:
798:
794:
790:
786:
781:
779:
776:
771:
767:
762:
755:
751:
745:
744:empty product
741:
736:
732:
728:
724:
710:
707:
703:
697:
692:
688:
668:
664:
659:
651:
645:
635:
634:locally small
631:
626:
616:
608:
599:
581:
575:
571:
567:
561:
557:
554:
550:
548:
541:
538:
534:
530:
526:
522:
519:
515:
511:
508:
504:
500:
496:
492:
489:
485:
481:
477:
473:
470:
467:
462:
457:
456:least element
452:
446:
442:
438:
434:
428:
422:
415:
410:
406:
403:
399:
395:
391:
384:
380:
377:
373:
369:
365:
358:
354:
351:
347:
343:
339:
336:
335:
330:
326:
324:
319:
315:
313:
308:
304:
300:
296:
292:
291:trivial group
288:
284:
280:
277:
272:
268:
264:
258:
254:
250:
243:
239:
231:
227:
221:
217:
216:
211:
204:
203:
198:
195:
191:
187:
183:
179:
175:
171:
170:
164:
162:
151:
146:
144:
140:
136:
131:
129:
125:
121:
116:
112:
95:
92:(also called
91:
87:
82:
79:
75:
71:
52:is an object
48:
44:
40:
36:
29:
22:
1813:
1794:Categorified
1698:n-categories
1649:Key concepts
1487:Direct limit
1470:Coequalizers
1459:
1414:
1388:Yoneda lemma
1294:Key concepts
1284:Key concepts
1227:
1192:
1158:
1147:. Retrieved
1140:the original
1113:
1084:
1080:
1049:
1044:
1040:
1036:
1033:is trivial:
997:
965:
950:
946:
930:
926:
903:
869:
841:
836:
832:
828:
823:
813:
808:
801:left adjoint
797:free functor
793:free objects
782:
769:
765:
753:
749:
734:
730:
716:
705:
701:
695:
690:
686:
666:
662:
650:proper class
627:
606:
597:
594:
573:
569:
565:
562:of the form
552:
546:
543:
536:
532:
528:
520:
498:
487:
483:
471:
460:
450:
444:
440:
432:
426:
420:
413:
393:
378:
367:
352:
341:
332:
322:
321:
311:
310:
302:
294:
282:
270:
266:
262:
256:
252:
248:
241:
237:
229:
225:
220:pointed sets
200:
189:
177:
147:
142:
138:
134:
132:
127:
123:
119:
114:
110:
93:
89:
83:
77:
73:
42:
32:
1762:-categories
1738:Kan complex
1728:Tricategory
1710:-categories
1600:Subcategory
1358:Exponential
1326:Preadditive
1321:Pre-abelian
615:isomorphism
402:prime field
161:isomorphism
139:null object
135:zero object
39:mathematics
1904:Categories
1780:3-category
1770:2-category
1743:∞-groupoid
1718:Bicategory
1465:Coproducts
1425:Equalizers
1331:Bicategory
1230:PlanetMath
1221:0906.18001
1181:1034.18001
1149:2008-01-15
1136:0695.18001
1105:References
860:from • to
586:Properties
120:coterminal
1829:Symmetric
1774:2-functor
1514:Relations
1437:Pullbacks
778:coproduct
699:for some
652:) and an
507:zero ring
383:zero ring
357:zero ring
186:singleton
174:empty set
124:universal
1889:Glossary
1869:Category
1843:n-monoid
1796:concepts
1452:Colimits
1420:Products
1373:Morphism
1316:Concrete
1311:Additive
1301:Category
1191:(1998).
1047:) = { id
1039:) = Hom(
831: :
799:, being
480:functors
350:integers
251: :
167:Examples
70:morphism
47:category
1879:Outline
1838:n-group
1803:2-group
1758:Strict
1748:∞-topos
1544:Modules
1482:Pushout
1430:Kernels
1363:Functor
1306:Abelian
844:. Then
803:to the
785:functor
761:colimit
727:diagram
518:diagram
501:), the
497:, Spec(
495:schemes
1825:Traced
1808:2-ring
1538:Fields
1524:Groups
1519:Magmas
1407:Limits
1219:
1209:
1179:
1169:
1134:
1124:
1083:→ 0 →
970:, the
822:. Let
723:limits
474:, the
464:has a
454:has a
396:, the
344:, the
327:, the
316:, the
297:, the
289:, any
285:, the
192:, the
180:, the
159:is an
1819:-ring
1706:Weak
1690:Topos
1534:Rings
1143:(PDF)
1118:(PDF)
1092:from
1088:is a
964:Cone(
856:is a
791:with
775:empty
558:In a
516:of a
514:limit
478:with
394:Field
387:0 = 1
361:0 = 1
325:-Vect
260:with
141:. A
128:final
45:of a
41:, an
1509:Sets
1207:ISBN
1167:ISBN
1122:ISBN
1070:and
1035:End(
1025:The
818:and
628:For
604:and
564:0 →
416:, ≤)
407:Any
372:rigs
342:Ring
314:-Mod
305:the
269:) =
172:The
86:dual
84:The
1353:End
1343:CCC
1232:'s
1217:Zbl
1177:Zbl
1132:Zbl
1096:to
1074:in
1004:of
998:Set
996:to
974:to
939:to
879:in
852:in
809:Set
807:to
680:of
646:not
576:→ 0
527:to
472:Cat
430:to
392:In
368:Rig
366:In
340:In
303:Rng
283:Grp
281:In
234:to
202:Rel
190:Top
178:Set
137:or
122:or
104:in
96:):
64:in
56:in
33:In
1906::
1831:)
1827:)(
1215:.
1205:.
1197:.
1175:.
1165:.
1130:.
1043:,
989:A
949:↓
929:↓
908:A
835:→
768:→
733:→
709:.
704:∈
694:→
648:a
572:→
568:→
544:Ch
512:A
443:≤
309:,
301:,
295:Ab
255:→
240:,
228:,
163:.
148:A
130:.
113:→
81:.
76:→
1823:(
1816:n
1814:E
1776:)
1772:(
1760:n
1724:)
1720:(
1708:n
1550:)
1546:(
1540:)
1536:(
1264:e
1257:t
1250:v
1236:.
1223:.
1183:.
1152:.
1100:.
1098:Y
1094:X
1085:Y
1081:X
1076:C
1072:Y
1068:X
1064:0
1060:C
1055:.
1053:}
1050:I
1045:I
1041:I
1037:I
1031:I
1008:.
1006:F
994:F
986:.
984:F
980:F
976:F
968:)
966:F
960:F
955:.
953:)
951:X
947:U
945:(
941:X
937:U
933:)
931:U
927:X
925:(
918:U
914:X
895:.
893:U
889:T
885:U
881:C
877:T
872:.
870:U
866:I
862:U
854:C
850:I
842:1
837:1
833:C
829:U
824:1
770:C
766:0
757:}
754:i
750:X
748:{
735:C
731:0
719:C
706:I
702:i
696:X
691:i
687:K
682:C
678:X
674:C
670:)
667:i
663:K
661:(
656:-
654:I
644:(
642:I
638:C
623:I
619:I
610:2
607:I
601:1
598:I
574:c
570:b
566:a
553:R
547:R
539:.
537:F
533:F
529:F
521:F
499:Z
488:1
484:0
468:.
461:P
451:P
445:y
441:x
433:y
427:x
421:P
414:P
412:(
379:N
353:Z
323:K
312:R
271:b
267:a
265:(
263:f
257:B
253:A
249:f
244:)
242:b
238:B
236:(
232:)
230:a
226:A
224:(
157:I
153:I
115:T
111:X
106:C
102:X
98:T
78:X
74:I
66:C
62:X
58:C
54:I
50:C
30:.
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.