Categorical Join and Generating Families in Diffeological Spaces

Abstract

We prove that a diffeological space is diffeomorphic to the categorical join of any generating family of plots.

Keywords

• diffeological space
• generating family
• categorical join