Formal Definition
Suppose that U: D → C is a functor from a category D to a category C, and let X be an object of C. Consider the following dual (opposite) notions:
An initial morphism from X to U is an initial object in the category of morphisms from X to U. In other words, it consists of a pair (A, φ) where A is an object of D and φ: X → U(A) is a morphism in C, such that the following initial property is satisfied:
- Whenever Y is an object of D and f: X → U(Y) is a morphism in C, then there exists a unique morphism g: A → Y such that the following diagram commutes:
A terminal morphism from U to X is a terminal object in the comma category of morphisms from U to X. In other words, it consists of a pair (A, φ) where A is an object of D and φ: U(A) → X is a morphism in C, such that the following terminal property is satisfied:
- Whenever Y is an object of D and f: U(Y) → X is a morphism in C, then there exists a unique morphism g: Y → A such that the following diagram commutes:
The term universal morphism refers either to an initial morphism or a terminal morphism, and the term universal property refers either to an initial property or a terminal property. In each definition, the existence of the morphism g intuitively expresses the fact that (A, φ) is "general enough", while the uniqueness of the morphism ensures that (A, φ) is "not too general".
Read more about this topic: Universal Property
Famous quotes containing the words formal and/or definition:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)