TY - RPRT TI - Weak units and homotopy 3-types AU - André Joyal AU - Joachim Kock PY - 2006 UR - https://arxiv.org/abs/math/0602084 ID - math/0602084 ER -