@misc{indiciaee2dec6166b98, title = {Coherence for weak units}, author = {André Joyal and Joachim Kock}, year = {2009}, url = {https://arxiv.org/abs/0907.4553}, note = {Source identifier: 0907.4553} }