World Library  
Flag as Inappropriate
Email this Article

Terminal object

Article Id: WHEBN0000059404
Reproduction Date:

Title: Terminal object  
Author: World Heritage Encyclopedia
Language: English
Subject: Limit (category theory)
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Terminal object

"Zero object" redirects here. For zero object in an algebraic structure, see zero object (algebra).
"Terminal element" redirects here. For the project management concept, see work breakdown structure.

In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism IX.

The dual notion is that of a terminal object (also called terminal element): T is terminal if for every object X in C there exists a single morphism XT. Initial objects are also called coterminal or universal, and terminal objects are also called final.

If an object is both initial and terminal, it is called a zero object or null object. A pointed category is one with a zero object.

Examples

  • The empty set is the unique initial object in the category of sets; every one-element set (singleton) is a terminal object in this category; there are no zero objects.
  • Similarly, the empty space is the unique initial object in the category of topological spaces; every one-point space is a terminal object in this category.
  • In the category Rel of sets and relations, the empty set is the unique zero object.
  • In the category of non-empty sets, there are no initial objects. The singletons are not initial: while every non-empty set admits a function from a singleton, this function is in general not unique.
  • In the category of pointed sets (whose objects are non-empty sets together with a distinguished element; a morphism from (A, a) to (B, b) being a function ƒ : AB with ƒ(a) = b), every singleton is a zero object. Similarly, in the category of pointed topological spaces, every singleton is a zero object.
  • In the category of semigroups, the empty semigroup is the unique initial object and any singleton semigroup is a terminal object. There are no zero objects. In the subcategory of monoids, however, every trivial monoid (consisting of only the identity element) is a zero object.
  • In the category of groups, any trivial group is a zero object. There are zero objects also for the category of abelian groups, category of pseudo-rings Rng (trivial ring), category of modules over a ring, and category of vector spaces over a field; see zero object (algebra) for details. This is the origin of the term "zero object".
  • In the category of rings with unity and unity-preserving morphisms, the ring of integers Z is an initial object. The trivial ring consisting only of a single element 0=1 is a terminal object.
  • In the category of fields, there are no initial or terminal objects. However, in the subcategory of fields of characteristic Template:Mvar the prime field of characteristic Template:Mvar forms an initial object.
  • Any partially ordered set (P, ≤) can be interpreted as a category: the objects are the elements of Template:Mvar, and there is a single morphism from Template:Mvar to Template:Mvar if and only if xy. This category has an initial object if and only if Template:Mvar has a least element; it has a terminal object if and only if Template:Mvar has a greatest element.
  • All monoids may be considered, in their own right, to be categories with a single object. In this sense, each monoid is a category that consists of one object and a collection of specific morphisms to itself. This one object is neither initial or terminal unless the monoid is trivial, in which case it is both.
  • In the category of graphs, the null graph, containing no vertices nor edges, is an initial object. If loops are permitted, then the graph with a single vertex and one loop is terminal. The category of simple graphs does not have a terminal object.
  • Similarly, the category of all small categories with functors as morphisms has the empty category as initial object and the category 1 (with a single object and morphism) as terminal object.
  • Any topological space Template:Mvar can be viewed as a category by taking the open sets as objects, and a single morphism between two open sets Template:Mvar and Template:Mvar if and only if U ⊂ V. The empty set is the initial object of this category, and Template:Mvar is the terminal object. This is a special case of the case "partially ordered set", mentioned above. Take P :=the set of open subsets.
  • If Template:Mvar is a topological space (viewed as a category as above) and Template:Mvar is some small category, we can form the category of all contravariant functors from Template:Mvar to Template:Mvar, using natural transformations as morphisms. This category is called the category of presheaves on X with values in C. If Template:Mvar has an initial object Template:Mvar, then the constant functor which sends every open set to Template:Mvar is an initial object in the category of presheaves. Similarly, if Template:Mvar has a terminal object, then the corresponding constant functor serves as a terminal presheaf.
  • In the category of schemes, Spec(Z) the prime spectrum of the ring of integers is a terminal object. The empty scheme (equal to the prime spectrum of the trivial ring) is an initial object.
  • If we fix a homomorphism ƒ : AB of abelian groups, we can consider the category Template:Mvar consisting of all pairs (X, φ) where Template:Mvar is an abelian group and φ : XA is a group homomorphism with }. A morphism from the pair (X, φ) to the pair (Y, ψ) is defined to be a group homomorphism r : XY with the property ψ r = φ. The kernel of ƒ is a terminal object in this category; this is nothing but a reformulation of the universal property of kernels. With an analogous construction, the cokernel of ƒ can be seen as an initial object of a suitable category.
  • In the category of interpretations of an algebraic model, the initial object is the initial algebra, the interpretation that provides as many distinct objects as the model allows and no more.

Properties

Existence and uniqueness

Initial and terminal objects are not required to exist in a given category. However, if they do exist, they are essentially unique. Specifically, if I1 and I2 are two different initial objects, then there is a unique isomorphism between them. Moreover, if I is an initial object then any object isomorphic to I is also an initial object. The same is true for terminal objects.

For complete categories there is an existence theorem for initial objects. Specifically, a (locally small) complete category C has an initial object if and only if there exist a set I (not a proper class) and an I-indexed family (Ki) of objects of C such that for any object X of C there at least one morphism KiX for some iI.

Equivalent formulations

Terminal objects in a category C may also be defined as limits of the unique empty diagram ∅ → C. Since the empty category is vacuously a discrete category, a terminal object can be thought of as an empty product (a product is indeed the limit of the discrete diagram {X_i}, in general). Dually, an initial object is a colimit of the empty diagram ∅ → C and can be thought of as an empty coproduct or categorical sum.

It follows that any functor 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 concrete category with free objects will be the free object generated by the empty set (since the free functor, being left adjoint to the forgetful functor to Set, preserves colimits).

Initial and terminal objects may also be characterized in terms of universal properties and adjoint functors. Let 1 be the discrete category with a single object (denoted by •), and let U : C1 be the unique (constant) functor to 1. Then

  • An initial object I in C is a universal morphism from • to U. The functor which sends • to I is left adjoint to U.
  • A terminal object T in C is a universal morphism from U to •. The functor which sends • to T is right adjoint to U.

Relation to other categorical constructions

Many natural constructions in category theory can be formulated in terms of finding an initial or terminal object in a suitable category.

Other properties

  • The endomorphism monoid of an initial or terminal object I is trivial: End(I) = Hom(I,I) = { idI }.
  • If a category C has a zero object 0 then for any pair of objects X and Y in C the unique composition X → 0 → Y is a zero morphism from X to Y.

References


This article is based in part on article on examples of initial and terminal objects.

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.