Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Kirill Mackenzie <K.Mackenzie <at> sheffield.ac.uk>
Subject: Re: universal property of tangent bundle
Newsgroups: gmane.science.mathematics.categories
Date: Monday 2nd August 1999 10:22:56 UTC (over 17 years ago)
In addition to Madame Ehresmann's references, there is in
Spivak's Comprehensive Introduction... an abstract 
characterization of the tangent bundle ( removed from the
main text in the second edition `due to the pressure of public 
distaste')

Kirill Mackenzie

> 
> Given an object M in the ``normal'' category of finitely dimensional
> smooth manifolds Man (not in SDG sense), what it the universal property
> of the tangent bundle TM?
> 
> So far, I found only the following:
> 
> For every manifold M there is a functor F:I -> Man0, where Man0 is
> category of open areas in R^n and smooth mapping, such that M=Colim F,
> F corresponding to the atlas on M and M is represented as a result of
> gluing instances of R^n in the atlas. This functor can be trivially
> modified (by multiplying its values on objects on R^n and modifying
> morphisms appropriately) to get functor TF:I -> Man0, such that
> TM=Colim TF.
> 
> But this doesn't seem satisfactory because:
> 
> 1. Construction of TF follows one particular construction of TM as a
> set of triples (x,(U,f),h) where x \in U, (U,f) is in atlas and h \in
> R^n with appropriate points identified.
> 
> 2. I hope there should be universal construction with \pi: TM -> M as
> universal arrow.
> 
> 3. As tangent bundle is so ubiquitous there should be nice universal
> property for it.
> 
> With regards,
> N. Danilov.
> 
> 
> 
>
 
CD: 3ms