4

2 Resp
84 Visitas

En la HoTT de Cauchy Reales

Solucionado

7

1 Resp
77 Visitas

¿Teoría de homotopía tipo tiene una interpretación computacional?

Solucionado

6

1 Resp
115 Visitas

Modelo de la teoría del tipo homotopy en ZFC

Abierta

7

2 Resp
291 Visitas

Dos preguntas sobre homotopía tipo teoría

Solucionado

8

1 Resp
404 Visitas

¿Dónde obtener ayuda con la teoría del tipo de homotopía?

Solucionado

10

1 Resp
157 Visitas

Hay una distinción fundamental entre los objetos y sus tipos?

Solucionado

9

2 Resp
417 Visitas

Ejercicio 4.6 (iii) en el Libro HoTT

Solucionado
Etiquetas :

16

1 Resp
385 Visitas

La confusión acerca de Homotopy Tipo de Teoría de la terminología

Solucionado

14

2 Resp
299 Visitas

¿Más fundamental que categorías, grupoides realmente?

Solucionado

19

1 Resp
407 Visitas

¿Cuál es incorrecto con ZFC?

Solucionado

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: