Malice Vidrine es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
¿Cuál es la topología asociada a las álgebras para la mónada del ultrafiltro?
el 26 de Abril, 2019 9 votos - 2 resp
¿Por qué estoy modelo de aprendizaje de la teoría?
el 6 de Abril, 2018 9 votos - 3 resp
¿Por qué se puede observar cualquier tipo?
el 10 de Marzo, 2017 6 votos - 1 resp
- 2 resp
Dos teorías $T,T'$, ¿qué ¿$T\vdash Con(T')$ realmente nos dice acerca de los modelos de $T$?
el 9 de Diciembre, 2016 8 votos - 1 resp
¿Tiene algún sentido que un lógico estudie $\infty$ -¿Categorías?
el 3 de Noviembre, 2016 7 votos
Últimas Respuestas
- 3 votos
Expresar el conjunto $\{3, \{3\}, \{\{3\}\}, \{\{\{3\}\}\}, \dots \}$ en notación de construcción de conjuntos.
el 18 de Noviembre, 2017 3 votos - 0 votos
¿Este enunciado representa un conjunto?
el 12 de Abril, 2017 0 votos - 4 votos
Ecualizador de flechas de caracteres en un topos
el 17 de Abril, 2020 4 votos - 3 votos
Necesidad y verdad lógica
el 3 de Mayo, 2021 3 votos - 1 votos
Función inversa, conjunto de potencias.
el 17 de Noviembre, 2013 1 votos - 4 votos
¿La categoría coma generaliza la transformación natural hasta cierto punto?
el 26 de Diciembre, 2018 4 votos - 1 votos
El lema de Yoneda para los monoides
el 4 de Octubre, 2017 1 votos
Etiquetas favoritas
- 18 x category-teoría
- 13 x pregunta-teórica
- 6 x topos-teoría
- 6 x lógica
- 4 x model-teoría
- 4 x elementary-conjunto-teórico
- 4 x solicitud-de-referencia