Title: Tangent categories, Cartesian differential categories and how they are related
Abstract: Tangent categories are a categorical generalization of the category of manifolds by having maps like the projection and the zero-section of the tangent bundle that fulfill certain relations. With a similar strategy, Cartesian differential categories generalize the category of finite-dimensional R-vector spaces and smooth maps.Unsurprisingly the construction generalizing manifolds and the construction generalizing vector-spaces are related. More precisely there is an adjunction between the category of Cartesian tangent categories and the category of Cartesian differential categories. Explaining this adjunction is the main goal of this talk.
