Natural numbers can be defined as the initial object of the category of pointed dynamical systems with triple $\left(X, s_0, f\right)$ where $f:X \rightarrow X$ and $s_o \in X$, as objects and conjugacy of dynamical systems as morphisms, i.e. a morphism $$\alpha: \left(X, s_0, f\right) \longrightarrow \left(Y, t_0, g\right)$$ satisfy $\alpha\circ f =g \circ \alpha$ and $\alpha \left(s_0\right)=t_0$.

Is it possible to enrich the following category, in order to be able to define the real numbers, as an initial object? I will be equally content to see how we can define computable numbers as some initial object. Many thanks.

  • 6
    $\begingroup$ Fields with a complete ordered field embedded? $\endgroup$ – Cameron Buie Nov 3 '12 at 21:23
  • 2
    $\begingroup$ A theorem of Freyd says that the closed unit interval $[0, 1]$ is the terminal object of a certain category of coalgebras. $\endgroup$ – Zhen Lin Nov 3 '12 at 22:12
  • $\begingroup$ @ Zhen Lin Thank you very much. That Dynamic-like object was exactly what I was hopping to see. $\endgroup$ – Hooman Nov 3 '12 at 22:21
  • $\begingroup$ @ZhenLin Please consider converting your comment into an answer, so that this question gets removed from the unanswered tab. If you do so, it is helpful to post it to this chat room to make people aware of it (and attract some upvotes). For further reading upon the issue of too many unanswered questions, see here, here or here. $\endgroup$ – Julian Kuelshammer Jun 22 '13 at 8:44
  • 1
    $\begingroup$ $\mathbb{R}$ is the initial object of the category of $\mathbb{R}$-algebras. (With this trivial comment I would like to indicate that the question is not precise enough.) $\endgroup$ – Martin Brandenburg Oct 19 '13 at 19:43

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

  • 2
    $\begingroup$ You could also view it is the initial object in the category with exactly one object, the field of the real numbers, and one morphism, the identity map. This sort of shows that your question needs some tweaking to be turned into an interesting one :-) $\endgroup$ – Mariano Suárez-Álvarez Oct 20 '13 at 0:03
  • $\begingroup$ If you open a thread in meta and request there that I copy the comments there, I will. Here they are off topic — as you are well aware $\endgroup$ – Mariano Suárez-Álvarez Mar 3 '17 at 1:34

Not sure if this is what you're looking for, but in the category of real Lie groups equipped with a tangent vector at the origin, $\mathbf R$ is the initial object: given a real Lie group $G$ and a tangent vector $v$ at the origin, there is a unique morphism of Lie groups $\mathbf R \to G$ which takes the unit tangent vector of $\mathbf R$ to $v$ (the exponential map). This is the "continuous" analogue of the fact that $\mathbf Z$, with its distinguished generator $1$, is the initial object in the category of pointed groups.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.