10
$\begingroup$

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.

$\endgroup$
5
  • 6
    $\begingroup$ Fields with a complete ordered field embedded? $\endgroup$ Nov 3, 2012 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, 2012 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, 2012 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$ Jun 22, 2013 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$ Oct 19, 2013 at 19:43

2 Answers 2

3
$\begingroup$

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

$\endgroup$
2
  • 3
    $\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$ Oct 20, 2013 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$ Mar 3, 2017 at 1:34
0
$\begingroup$

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.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .