A cubical object in a category CC is a functor
from the opposite category of the cube category □\Box into CC.
If C=SetC = Set then this is called a cubical set.
from the cube category itself are co-cubical objects in CC.
model structure on cubical presheaves