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.