Why do we need natural transformations?

  • Thread starter math.geek
  • Start date
  • #1
6
0

Main Question or Discussion Point

Few days ago, I was thinking about why we need to define V*=Hom(V,K) for a K-vector space when the dimension of V is finite because then V* and V both will have the same dimension and will be isomorphic. So, I couldn't understand why such a thing would be even called a dual vector space if it's the same thing algebraically when the dimension is finite. Then I read that these two vector spaces are isomorphic but there's no natural isomorphism between them.

I'm familiar with some terminology in category theory. I know the definition of a natural transformation in category theory. But I don't understand why natural definitions are important. I remember somewhere I read that Mac Lane has said that he didn't invent category theory to study functors, he invented it to study natural transformations.

Can someone explain to me in layman terms why natural transformations are interesting and how I should think of them?
 

Answers and Replies

  • #3
WWGD
Science Advisor
Gold Member
2019 Award
5,280
2,681
Maybe it is also interesting to understand what happens , i.e., what are the overall advantages when you do have a natural, basis-independent choice, like when you have a non-degenerate bilinear form associated to your space, like, say, a Riemannian metric ( which gives you the natural "musical isomorphism" between tangent and cotangent spaces). I guess in the case of R^n, life becomes simpler in terms of differentiating ( trivial Euclidean connection) , but I can't think now of other areas where having a natural , canonical isomorphism helps, or at least what are other implications of having a natural isomorphism.
 

Related Threads on Why do we need natural transformations?

  • Last Post
Replies
8
Views
2K
Replies
5
Views
602
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
6
Views
5K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
5
Views
6K
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
4
Views
614
Top