Report - Coherence for Weak Unitsemis.maths.adelaide.edu.au/journals/DMJDMV/vol-18/04.pdfDocumenta Math. 71 Coherence for Weak Units André Joyal and Joachim Kock Received: September 21,2011

Please pass captcha verification before submit form