polynomial rings as cubical set

New subsection: polynomial rings as cubical set