What Universal Property means to me?

Universal property of productFew weeks ago, I read a book that define Ring Localization by using Universal Property (or Universal Mapping Problem). This is not the first time I see definition of Localization of a Ring. However when it is defined by using Universal Property, it seems a lot less intuitive than what I experienced.

This is also not the first time I see some mathematical objects are defined by using Universal Property. Among the first definitions I see, there are Projective and Injective modules, Tensor product, Flat modules, product, pullback, pushout etc. I have encountered some of these definitions before and nearly all of them (if not all) defined in ways that, in my opinion, more intuitive.

This case both on Localization example and other examples makes me wonder why we even bother to define those objects via Universal Property. Speaking from Category Theory point of view, this approach (using Universal diagram etc) is of course the one most suitable and gives more generality. However, I think only being the most suitable is not enough reasons to do this — as my own view is that it is okay to use harder approach if this aid understanding.

I therefore tried to make sense of this approach by looking for another justifications. The first visit to wikipedia resulted in:

Before giving a formal definition of universal properties, we offer some motivation for studying such constructions.

  • The concrete details of a given construction may be messy, but if the construction satisfies a universal property, one can forget all those details: all there is to know about the construct is already contained in the universal property. Proofs often become short and elegant if the universal property is used rather than the concrete details. For example, the tensor algebra of a vector space is slightly painful to actually construct, but using its universal property makes it much easier to deal with.
  • Universal properties define objects uniquely up to isomorphism. Therefore, one strategy to prove that two objects are isomorphic is to show that they satisfy the same universal property.
  • Universal constructions are functorial in nature: if one can carry out the construction for every object in a category C then one obtains a functor on C. Furthermore, this functor is a right or left adjoint to the functor U used in the definition of the universal property.[1]
  • Universal properties occur everywhere in mathematics. By understanding their abstract properties, one obtains information about all these constructions and can avoid repeating the same analysis for each individual instance.

Also, I would like to add another remark to the second bullet. If we know one easy representation of the object, by using the isomorphic argument, we can say something like this: “Let x be an element of … (an object defined by Universal Property) then, x can be written as … (the easy representation)”.

By then, I was almost satisfied with wikipedia’s explanation.But then I discussed with two friends, and one of them argues that “by defining an object by using its Universal Property,  we practically shift our attention from the object itself to object in diagram (another object or morphism)”. He gave example that he found in a paper by saying “When the tensor product of modules A and B are 0? Apparently, it only happens if all bilinear morphism from Cartesian product of A and B are 0 map”. Now that’s a revelation, by using Universal Property definition of tensor product we shift our focus out of A and B to their bilinear morphism .. very neat 😀

Category Theory seems to get brighter 🙂

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s