Processing math: 100%

10 votos

¿Es posible definir R como el objeto inicial de alguna categoría?

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:XX y soX, 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.

3voto

Xetius Puntos 10445

El campo de números verdaderos es inicial en la categoría de campo ordenado completo.

0voto

QuentinUK Puntos 116

No estoy seguro si esto es lo que estás buscando, pero en la categoría de real Mentira grupos equipado con un vector tangente en el origen, R es el objeto inicial: dada una real Mentira grupo G y un vector tangente v en el origen, no hay una única morfismos de Mentira grupos RG, lo que lleva a la unidad vector tangente de R v(la exponencial mapa). Este es el "continuo" analógica del hecho de que Z, con su distinguida generador de 1, es el objeto inicial en la categoría de punta grupos.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X