Is it possible to define $\mathbb{R}$ as the initial object of some category?

category-theory

Solution 1:

The field of real numbers is initial in the category of complete ordered fields.

Related

Outer measure of outer measure
Prove that $EF$ perpendicular to $OI_a$
Area enclosed by 2-dimensional random curve
do Carmo: Second Variation Formula
Prove That If $(x^{2}+y^{2})\cos^{2}\psi+z^{2}\cot^{2}\psi=A^2$ then $\nabla ^2 \psi=0$.
When is the pushforward / direct image of a reflexive sheaf locally free?
Help computing an integral for Green's function of a discrete Laplacian on a square lattice
ASP.NET Grid View vs. List View
Can a C++ class determine whether it's on the stack or heap?
What are helper objects in java?
Unique Constraint vs Unique Index
How to create own domain extension? [closed]