Title:Categorical properties of the complex numbers

Abstract: Given the success of categorical approaches to quantum theory, and given that quantum theory is underpinned by the complex numbers, it is interesting to study the categorical properties of the complex numbers directly. We describe natural categorical conditions under which the scalars of a monoidal dagger-category gain many of the features of the complex numbers. Central to our approach is the requirement that the dagger-functor be compatible with the construction of particular limits in the category; we show that this implies nondegeneracy of the dagger-functor, as well as cancellable hom-set addition. Our main theorem is that in a nontrivial monoidal dagger-category with finite dagger-biproducts and finite dagger-equalisers, for which the monoidal unit has no proper dagger-subobjects, the scalars have an involution-preserving embedding into an involutive field with characteristic 0 and orderable fixed field, and therefore embed into the complex numbers if they are at most of continuum cardinality.