TY  - RPRT
TI  - Coherence for weak units
AU  - André Joyal
AU  - Joachim Kock
PY  - 2009
UR  - https://arxiv.org/abs/0907.4553
ID  - 0907.4553
ER  -