TY - RPRT TI - Homotopically discrete higher categorical structures AU - Simona Paoli PY - 2016 UR - https://arxiv.org/abs/1605.05112 ID - 1605.05112 ER -