TY - RPRT TI - Cubical n-Categories and Finite Limits Theories AU - Jeffrey C. Morton PY - 2010 UR - https://arxiv.org/abs/1001.2628 ID - 1001.2628 ER -