Cubical sets and their site. Grandis, Marco; Mauri, Luca — 2003 Theory and Applications of Categories [electronic only]