# Smooth functor

In differential topology, a branch of mathematics, a **smooth functor** is a type of functor defined on finite-dimensional real vector spaces. Intuitively, a smooth functor is smooth in the sense that it sends smoothly parameterized families of vector spaces to smoothly parameterized families of vector spaces. Smooth functors may therefore be uniquely extended to functors defined on vector bundles.

Let **Vect** be the category of finite-dimensional real vector spaces whose morphisms consist of all linear mappings, and let *F* be a covariant functor that maps **Vect** to itself. For vector spaces *T*, *U* ∈ **Vect**, the functor *F* induces a mapping

where Hom is notation for Hom functor. If this map is smooth as a map of infinitely differentiable manifolds then *F* is said to be a **smooth functor**.^{[1]}

Common smooth functors include, for some vector space *W*:^{[2]}

*F*(*W*) = ⊗^{n}*W*, the*n*th iterated tensor product;*F*(*W*) = Λ^{n}(*W*), the*n*th exterior power; and*F*(*W*) = Sym^{n}(*W*), the*n*th symmetric power.

Smooth functors are significant because any smooth functor can be applied fiberwise to a differentiable vector bundle on a manifold. Smoothness of the functor is the condition required to ensure that the patching data for the bundle are smooth as mappings of manifolds.^{[2]} For instance, because the *n*th exterior power of a vector space defines a smooth functor, the *n*th exterior power of a smooth vector bundle is also a smooth vector bundle.

Although there are established methods for proving smoothness of standard constructions on finite-dimensional vector bundles, smooth functors can be generalized to categories of topological vector spaces and vector bundles on infinite-dimensional Fréchet manifolds.^{[3]}

## See also

## Notes

- ↑ Antonelli 2003, p. 1420; Kriegl & Michor 1997, p. 290. Lee 2002, pp.122–23 defines smooth functors over a different category, whose morphisms are linear isomorphisms rather than all linear mappings.
- 1 2 Kriegl & Michor 1997, p. 290
- ↑ Kriegl & Michor 1997 have developed an infinite-dimensional theory for so-called "convenient vector spaces" – a class of locally convex spaces that includes Fréchet spaces.

## References

- Antonelli, P. L. (2003),
*Handbook of Finsler geometry*, Springer, p. 1420, ISBN 1-4020-1556-9. - Kriegl, Andreas; Michor, Peter W. (1997),
*The convenient setting of global analysis*, AMS Bookstore, p. 290, ISBN 0-8218-0780-3. - Lee, John M. (2002),
*Introduction to smooth manifolds*, Springer, pp. 122–23, ISBN 0-387-95448-1.