de Rham theory and cocycles of cubical sets from smooth quandles

Abstract

We show a de Rham theorem for cubical manifolds, and study rational homotopy type of the classifying spaces of smooth quandles. We also show that secondary characteristic classes in [8, 9] produce cocycles of quandles.