Corrections to
Instances of computational effects
Proc. LICS 2013.
Sam Staton.
VII.B. Ctx1 is a finite coproduct completion of Ctx0^op.
It is _not_ a finite coproduct completion of Ctx0.
VIII.B.(3). Inj1 is a finite coproduct completion of Inj0^op.
It is _not_ a finite coproduct completion of Inj0.
(These are typos, in that I did not mean to write what is written, and
so the rest of the text is not affected.)
Acknowledgement: Thanks to Martin Hyland for pointing these out.