Números naturales se puede definir como el objeto inicial de la categoría de sistemas dinámicos acentuados con triple (X,s0,f) donde f:X→X y so∈X, como objetos y GACION de sistemas dinámicos como morfismos, es decir, un morfismo $$\alpha: \left(X, s_0, f\right) \longrightarrow \left(Y, t_0, g\right) α∘f=g∘α y α(s0)=t0.
¿Es posible enriquecer la categoría siguiente, con el fin de poder definir los números reales, como objeto inicial? Será igualmente contenido para ver como podemos definir números computables como algún objeto inicial. Muchas gracias.