TY - RPRT TI - Weak identity arrows in higher categories AU - Joachim Kock PY - 2005 UR - https://arxiv.org/abs/math/0507116 ID - math/0507116 ER -