Respuestas del usuario 86900

Puntuación Visitas Fecha
Avatar de Mike Ohlsen

15 votos

¿Qué hace una prueba en una lógica interna en realidad?

Aceptada
Respondido el 17 de Mayo, 2013 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

10 votos

Finitely generado módulos proyectivos son localmente libre

Respondido el 8 de Mayo, 2015 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

16 votos

Primaria topoi han inicial de los objetos, ¿por qué?

Aceptada
Respondido el 2 de Julio, 2016 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

4 votos

Las propiedades del lenguaje interno de la categoría de las poleas.

Aceptada
Respondido el 27 de Noviembre, 2013 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

11 votos

Ejemplos de los beneficios de Homotopy Tipo de Teoría para asistido por ordenador de pruebas?

Respondido el 21 de Febrero, 2015 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

0 votos

Aprender a pensar de manera categórica (la localización de los anillos y módulos)

Respondido el 12 de Mayo, 2015 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

13 votos

¿Qué son los topoi?

Respondido el 5 de Diciembre, 2016 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

5 votos

Prueba $\operatorname{Spec} k[x]$ internamente es un anillo de fracciones en el lenguaje interno de lo topos de Zariski

Aceptada
Respondido el 26 de Septiembre, 2016 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

4 votos

¿En la que acredite A = B, A, B son conjuntos, siempre tienes que mostrar $\subseteq$ y $\supseteq$?

Aceptada
Respondido el 8 de Mayo, 2016 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

5 votos

En geometría algebraica, ¿qué tipo de teoría sólo puede ser descrito por topos, pero no es el sitio?

Respondido el 26 de Diciembre, 2018 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

6 votos

Línea real lisa y cortes Dedekind.

Aceptada
Respondido el 16 de Mayo, 2019 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

6 votos

¿Por qué la topología de Zariski?

Respondido el 5 de Octubre, 2015 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

4 votos

Idempotentes en un anillo local

Respondido el 14 de Febrero, 2015 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

4 votos

Categorías bien definidas frente a topoi bien definidos

Aceptada
Respondido el 28 de Enero, 2019 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

2 votos

¿Por qué no se desplaza Hom con la toma de tallos?

Respondido el 20 de Enero, 2014 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

4 votos

¿Existe un topos clasificador para los esquemas?

Aceptada
Respondido el 12 de Julio, 2018 por Mike Ohlsen
q2astack::content.general.tags :
Avatar de Mike Ohlsen

13 votos

¿Cuál es la diferencia entre una lógica, una lógica interna (lenguaje) de una categoría, una lógica interna de un topos y una teoría de tipos?

Respondido el 15 de Agosto, 2014 por Mike Ohlsen
q2astack::content.general.tags :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X