42402
Reputación
Reputación
Nombre : Gareth
Miembro desde : 4 de Agosto, 2014
Gareth es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Si $f(x)=g(x)$ todos los $x:A$, ¿por qué no es cierto que $\lambda x{.}f(x)=\lambda x{.}g(x)$?
el 25 de Abril, 2016 12 votos
Últimas Respuestas
- 1 votos
¿Cómo calcular la función de un intervalo?
el 23 de Mayo, 2012 1 votos - 9 votos
¿Qué significa "realmente" la inversión Mellin?
el 19 de Febrero, 2013 9 votos - 4 votos
Operador Mod y divisibilidad por $3$ ?
el 3 de Junio, 2012 4 votos - 7 votos
Identidad para simplificar la suma con coeficiente binomial
el 26 de Mayo, 2012 7 votos - 3 votos
Demostrar que en HoTT si los tipos de $A$ $B$ están conectados y $\Omega A = \Omega B$, $A = B$
el 31 de Octubre, 2018 3 votos - 9 votos
Objetos exponenciales en una categoría cerrada cartesiana:$a^1 \cong a$
el 23 de Mayo, 2012 9 votos - 1 votos
Acerca de las matemáticas constructivas y la teoría de tipos de Homotopy
el 17 de Enero, 2014 1 votos
Etiquetas favoritas
- 4 x homotopy-type-teoría
- 3 x type-teoría
- 2 x matemáticas-constructivas
- 1 x general-topología
- 1 x análisis-convexo
- 1 x functions
- 1 x topología-algebraica
