A cubic set theory approach to UP-algebras. Issue 8 (16th November 2020)