Product-preserving functors on smooth manifolds

Functors from the category of connected smooth manifolds to itself which preserve products and embeddings are classified, along with natural transformations between them. Such functors that are also natural bundles can be thought of as ways of defining infinitesimal neighborhoods for points in all smooth manifolds.