An introduction to differential bundles

This tutorial will show how algebraic structure in tangent categories can capture geometric differential structure by considering the relationship between vector bundles and differential bundles in the category of smooth manifolds. Vector bundles are fibered vector spaces that are also fibre bundles, so they are not essentially algebraic in the sense of Freyd. Differential bundles, however, are coalgebras for the weak comonad induced by the vertical lift on the tangent bundle satisfing a universal property. We will begin by showing that Cockett and Cruttwell's original characterization of a differential bundle is equivalent to the current definition. Then, we will show that the functor from vector bundles to differential bundles is an isomorphism of categories.Non UBCUnreviewedAuthor affiliation: University of CalgaryGraduat