while1fork es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Demostrar que en HoTT si los tipos de $A$ $B$ están conectados y $\Omega A = \Omega B$, $A = B$
el 18 de Noviembre, 2018 5 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 1 x homotopy-type-teoría
- 1 x loop-espacios