Title: Differential bundles in the category of smooth manifolds
Abstract: In this talk we give a sketch of the proof that differential bundles in smooth manifolds are vector bundles. If we have time we describe how the addition map of a differential bundle may be recovered from the rest of the structure.