2008/02/15 by Andrew Stacey, Stacey, Andrew · 1 citation
Mathematics · #18B99 #58A40 #Advanced Topology and Set Theory #Algebraic Geometry and Number Theory #Differential Geometry (math.DG) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.0802.2225
openalex publication_date 2008/02/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Frölicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that enable us to see how the categories relate to each other. This produces a diagram of categories with the category of Frölicher spaces sitting at its centre. Our method of study involves finding a general context into which these categories can be placed. This involves considering categories wherein objects are considered in relation to a certain collection of standard test objects. This therefore applies beyond the question of categories of smooth spaces.