Register to reply 
What are universal properties all about? 
Share this thread: 
#1
Apr914, 04:55 PM

P: 264

I am having a hard time understanding the concepts of a universal property :\
What are they used for? Do they abstract the notion of constructing mathematical objects? Can the concept of a group be described by a universal property or is this not how it works? 


#2
Apr914, 06:05 PM

Sci Advisor
P: 1,810

Universal properties are used to classify a certain type of object in a category up to unique isomorphism, usually together with a certain set of morphisms. The construction of the object in question is separate from this. The construction is just an existence proof of the object. The universal property states that it is unique up to unique isomorphism.
Many objects of various categories are classified by a universal property. Examples are tensor products of modules, and colimits/limits in general categories. Also products and coproducts (which are special cases of limits and colimits). The usage of universal properties highlights the fact that we are not always interested in the specific construction of the object, but rather in the properties it has as an object satisfying a certain universal property. Note that while we may state a universal property, it is not given that this object always exists. For example, in the category of schemes both limits and colimits may fail to exist. A group might be described as an object satisfying a universal property in a certain context, but this is unlikely to have any real usage. Satisfying a universal property makes it unique up to isomorphism, hence you would only end up with a single isomorphism class of this group. 


#3
Apr914, 07:36 PM

Mentor
P: 18,345

Universal properties make it a lot easier to find suitable mappings into our out of the space. I'm not sure what kind of mathematics you know, so it's hard to give an example. But tensor products is a really neat example of this.
So let ##V## and ##W## be two vector spaces over ##\mathbb{R}##. We can find the following map: [tex]V\otimes W\rightarrow W\otimes V:v\otimes w\rightarrow w\otimes v[/tex] The vectors ##v\otimes w## form a spanning set, so it would certainly define a mapping. However, the mapping is not welldefined since the set is not linear independent. It's easy to prove in this case that the mapping is welldefined, but you might as well work through the universal property. The universal property says that any bilinear mapping ##g:V\times W\rightarrow A## with A any vector space gives rise to a linear mapping ##g^\prime:V\otimes W\rightarrow A## with ##f(v,w) = g(v\otimes W)##. So in this case, we can consider [tex]V\times W\rightarrow V\otimes W:(v,w)\rightarrow w\otimes v[/tex] This is perfectly welldefined since the ##(v,w)## are a basis of ##V\times W##. The universal property thus says exactly that the map [tex]V\otimes W\rightarrow W\otimes V:v\otimes w\rightarrow w\otimes v[/tex] is welldefined. So any time you have to find a certain mapping for the tensor product, it is worth it to check the universal property. And this holds for anything that has the universal property. It might certainly be possible to find a mapping without it, but it will almost always be messier. If you tell me what kind of math you already know, I might be able to give an example. Also, where exactly did the concept of universal property come up? In relation to which structure? 


#4
Apr914, 08:18 PM

P: 264

What are universal properties all about?
Lately I've been trying to learn category theory, proof theory and theory of types all at the same time because I sincerely don't know what I should be doing first. I also have been thinking of adding lambda calculus to the stack since it keeps popping up all over the place. I guess what I really need is for someone to point me in the right direction :) Thanks! 


#5
Apr914, 10:44 PM

Mentor
P: 18,345

The book "Joy of Cats" is freely available: http://katmat.math.unibremen.de/acc/acc.pdf It's one of my favorite reference works. However, it's not really suitable as an intro text for beginners. Still, it contains a massive amount of examples. So I would study from another book and each time you encounter a new topic, check the Joy of Cats to see some motivating examples. The classic on category theory is of course MacLane, so you might want to consider working through it: http://www.amazon.com/CategoriesWor.../dp/0387984038 It seems from the other topics you mentioned that you're into foundational stuff such as logic. In that case, you also might want to consider Goldblatt: http://www.amazon.com/TopoiCategori.../dp/0486450260 This is probably easier than MacLane too. 


#6
Apr914, 11:15 PM

Mentor
P: 18,345

An extremely good book to read before tackling pure category theory is Aluffi's "Algebra: Chapter 0": http://www.amazon.com/AlgebraChapte.../dp/0821847813
It treats algebra very nicely, but from the categorical point of view. It really shows the connections between different algebraic structures very well. 


#7
Apr1014, 04:35 PM

P: 1,307

Easy book on category theory: Conceptual Mathematics: A First Introduction to Category Theory.
It's written in such a way as to teach even nonmath people, so it doesn't assume you know algebraic topology. Some people consider it too easy, but I'm not sure that's really the case. I didn't work through the whole thing due to lack of time, but they say at some point it gets a lot harder if you haven't done enough of the exercises. So, it appears to have some depth if you make it through the whole book. 


#8
Apr1014, 09:33 PM

Mentor
P: 18,345




#9
Apr1114, 01:51 AM

P: 1,307




#10
Apr1114, 08:29 AM

Sci Advisor
P: 1,810

I don't think it's necessary nor very common to learn category theory from a book, at least not for the working mathematician.



#11
Apr1114, 12:13 PM

P: 1,307

I might have to reevaluate my opinion of Conceptual Mathematics, since it has been so long since I looked at it and I have changed as a mathematician since then, but the main virtue I saw in it was that it was sort of lighthearted and informal, in contrast to the usual very formal, deadly tomes of boredom, like MacLane. It maybe somewhat flawed, though. It helps to at least have a few examples of mathematical structures, like groups and topological spaces, and maybe the fundamental group before the idea of category theory will make sense. 


#12
Apr1114, 12:29 PM

Mentor
P: 18,345

The only use I see of category theory at the undergrad level is to provide some kind of unifying language of mathematics and to motivate constructions such as the product topology (although other motivations should of course be given). For this purpose, you can learn the necessary category theory in matter of hours. You certainly don't need to go read books where they define the inverse image of sets as some kind of pullback diagram or where they define a group to be a groupoid with one object. At the undergrad level (and for most mathematicians) such things are really unnecessary. And I'm certainly not a categoryhater since I use category theory all the time. I just think that pedagogically, the student should never go too abstract without good reason. Mathematics shouldn't be about mindless abstraction of concepts, the abstractions should actually serve some purpose. 


#13
Apr1114, 01:29 PM

P: 1,307

I'm just not convinced that it should be completely dismissed as worthless, though. It could be that it has an audience problem, in terms of being too abstract for beginners, but with a lot of superfluous, elementary junk to wade through for the people who might gain something from it. Specifically, if anyone is crazy enough to want to learn topos theory, it appears to be a good place to start.
Here's what Baez said about it: "It may seem almost childish at first, but it gradually creeps up on you. Schanuel has told me that you must do the exercises  if you don't, at some point the book will suddenly switch from being too easy to being way too hard! If you stick with it, by the end you will have all the basic concepts from topos theory under your belt, almost subconsciously." So, I don't think the point is just abstraction for its own sake. I don't know topos theory, so I'm not sure how much of a point there is to it (in fact, it seems like too abstract nonsense to me, but what do I know?), but it does appear to be something that some logicians like, so it might be eventually relevant to the OP, but it sounds like that will be much later down the line. 


#14
Apr1114, 01:36 PM

Mentor
P: 18,345

That said, I don't see how you could really go far into topos theory without knowing stuff like topology and sheafs. Topos theory really forms a very nice alternative set theory, but it's also known to be quite difficult. Books like that of Lawvere make the topos theory accessible, but you'll still need to do a lot of studying before you can actually get to the good interesting stuff. 


#15
Apr1114, 01:42 PM

Mentor
P: 18,345

Another nice book that deals with some (concrete) categories is "Mathematical Physics" by Geroch. Don't worry, the book contains no physics and is only math: http://www.amazon.com/MathematicalP.../dp/0226288625



#16
Apr1214, 08:50 AM

P: 264

Thanks for all the advice and book recommendations! I'll take it all under consideration when looking deeper into this subject :)
I have a way more specific request at this point.. Can you give me another example of a universal property? Possibly the definition of an ordered pair? 


#17
Apr1214, 09:48 AM

Mentor
P: 18,345

An analogous definition works for products of arbitrary (even infinitely many) factors. http://en.wikipedia.org/wiki/Product_(category_theory) 


Register to reply 
Related Discussions  
Ceramic Properties vs. Solid Properties  Materials & Chemical Engineering  2  
Material properties influencing laser properties  General Physics  0  
Universal warming.  Astronomy & Astrophysics  17  
How does the properties of glass affect its properties?  General Physics  3  
Quantum Uncertainty vs. Universal Properties of Particles  General Physics  3 