TY - RPRT TI - Complicial Sets AU - Dominic Verity PY - 2005 UR - https://arxiv.org/abs/math/0410412 ID - math/0410412 ER -