Editing Universal property (section)

==Formal definition==
To understand the definition of a universal construction, it is important to look at examples. Universal constructions were not defined out of thin air, but were rather defined after mathematicians began noticing a pattern in many mathematical constructions (see Examples below). Hence, the definition may not make sense to one at first, but will become clear when one reconciles it with concrete examples.

Let <math>F: \mathcal{C} \to \mathcal{D}</math> be a functor between categories <math>\mathcal{C}</math> and <math>\mathcal{D}</math>. In what follows, let <math>X</math> be an object of <math>\mathcal{D}</math>, <math>A</math> and <math>A'</math> be objects of <math>\mathcal{C}</math>, and <math>h: A \to A'</math> be a morphism in <math>\mathcal{C}</math>. 

Then, the functor <math>F</math> maps <math>A</math>, <math>A'</math> and <math>h</math> in <math>\mathcal{C}</math> to <math>F(A)</math>, <math>F(A')</math> and <math>F(h)</math> in <math>\mathcal{D}</math>.

A '''universal morphism from <math>X</math> to <math>F</math>''' is a unique pair <math>(A, u: X \to F(A))</math> in <math>\mathcal{D}</math> which has the following property, commonly referred to as a '''universal property''':

For any morphism of the form 
<math>f: X \to F(A')</math> in <math>\mathcal{D}</math>, there exists a ''unique'' morphism <math>h: A \to A'</math> in <math>\mathcal{C}</math> such that the following diagram [[commutative diagram|commutes]]:
[[File:Universal morphism definition.svg|center|The typical diagram of the definition of a universal morphism.]]

{{anchor|Terminal morphism}}
We can [[Dual (category theory)|dualize]] this categorical concept. A '''universal morphism from <math>F</math> to <math>X</math>''' is a unique pair <math>(A, u: F(A) \to X)</math> that satisfies the following universal property:

For any morphism of the form <math>f: F(A') \to X</math> in <math>\mathcal{D}</math>, there exists a ''unique'' morphism <math>h: A' \to A</math> in <math>\mathcal{C}</math> such that the following diagram commutes:

[[File:Universal definition dualized.svg|center|The most important arrow here is <math>u: F(A) \to X</math> which establishes the universal property.]]
Note that in each definition, the arrows are reversed. Both definitions are necessary to describe universal constructions which appear in mathematics; but they also arise due to the inherent duality present in category theory.
In either case, we say that the pair <math>(A, u)</math> which behaves as above satisfies a universal property.