Digital Commons Network^™

Differential Geometry In Cartesian Closed Categories Of Smooth Spaces, Martin Laubinger

LSU Doctoral Dissertations

The main categories of study in this thesis are the categories of diffeological and Fr\"olicher spaces. They form concrete cartesian closed categories. In Chapter 1 we provide relevant background from category theory and differentiation theory in locally convex spaces. In Chapter 2 we define a class of categories whose objects are sets with a structure determined by functions into the set. Fr\"olicher's $M$-spaces, Chen's differentiable spaces and Souriau's diffeological spaces fall into this class of categories. We prove cartesian closedness of the two main categories, and show that they have all limits and colimits. We exhibit an adjunction between the …