Categorical properties of the complex numbers - Vicary, J (2010)