Malax es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
construir un producto de dos categorías
el 10 de Septiembre, 2019 2 votos - 5 resp
Cualquier ejemplo de no-fuerte de la mónada?
el 15 de Abril, 2020 23 votos
Últimas Respuestas
- 3 votos
Cualquier ejemplo de no-fuerte de la mónada?
el 28 de Enero, 2012 3 votos - -5 votos
¿Qué puede expresarse y demostrarse con la lógica interna de un topos?
el 21 de Marzo, 2013 -5 votos
Etiquetas favoritas
- 3 x matemáticas
- 2 x ct.category-teoría
- 1 x lo.lógica
- 1 x topos-teoría
- 1 x categorical-lógica
- 1 x ct.category-theory
- 1 x products