TY  - JOUR
AU  - André Joyal
AU  - Joachim Kock
TI  - Coherence for weak units
JO  - Documenta mathematica
PY  - 2013
SP  - 71
EP  - 110
VL  - 18
UR  - http://geodesic.mathdoc.fr/articles/10.4171/dm/392/
DO  - 10.4171/dm/392
ID  - 10_4171_dm_392
ER  -