TY - JOUR AU - Joyal, André AU - Kock, Joachim TI - Coherence for weak units JO - Documenta mathematica PY - 2013 SP - 71 EP - 110 VL - 18 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DOCMA_2013__18__a46/ LA - en ID - DOCMA_2013__18__a46 ER -