Ray Hayes es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 5 resp
[resuelto] cálculo secuencial como lenguaje de programación
el 30 de Agosto, 2019 20 votos - 1 resp
¿Existe una categoría con un clasificador de subobjetos pero que no sea finitamente completa?
el 1 de Septiembre, 2019 4 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x matemáticas
- 1 x ct.category-theory
- 1 x examples
- 1 x topos-theory
- 1 x lo.logic
- 1 x reference-request
- 1 x lambda-calculus