This category contains polytopes of 4-space, and honeycombs of 3-space.