4

2 Resp
92 Visitas

En la HoTT de Cauchy Reales

Solucionado

7

1 Resp
78 Visitas

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

Solucionado

7

1 Resp
118 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
406 Visitas

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

Solucionado

10

1 Resp
160 Visitas

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

Solucionado

9

2 Resp
418 Visitas

Ejercicio 4.6 (iii) en el Libro HoTT

Solucionado
Etiquetas :

18

1 Resp
387 Visitas

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

Solucionado

14

2 Resp
301 Visitas

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

Solucionado

21

1 Resp
408 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: