Department of Computer Science, University of Oxford: Publication - Categorical properties of the complex numbers