Preguntas ciencias de homotopy-type-teoría

11

2Resp

497Vistas

métrica natural de la longitud de la prueba

Abierta

Preguntado el 11 de Agosto, 2020 por user56328

20

2Resp

1077Vistas

$\infty$categoría de interpretación de la teoría tipo

Resuelta

Preguntado el 19 de Julio, 2013 por Randy Proctor

22

1Resp

1820Vistas

Las perspectivas para revertir las matemáticas en Homotopy Tipo de Teoría

Resuelta

Preguntado el 10 de Julio, 2013 por davidsmalley

31

1Resp

924Vistas

La duda de Deligne sobre los fundamentos univalentes de Voevodsky

Abierta

Preguntado el 1 de Marzo, 2019 por Casey

38

3Resp

1929Vistas

¿Cómo define categorías (infinito, 1) en la teoría de tipos de homotopía?

Resuelta

Preguntado el 24 de Octubre, 2013 por maclema

44

1Resp

4430Vistas

Teoría del tipo de homotopía: ¿qué es?

Abierta

Preguntado el 18 de Marzo, 2015 por Reigningfear

36

2Resp

1315Vistas

Definición de$SU(n)$ en HoTT

Resuelta

Preguntado el 2 de Enero, 2018 por eriko

44

5Resp

2901Vistas

La homotopía como principio organizador general

Abierta

Preguntado el 15 de Julio, 2013 por Eduard Wirch

67

4Resp

3414Vistas

¿Por qué Voevodsky consideró las categorías "posets en la siguiente dimensión", y los grupopoides la generalización correcta de los conjuntos?

Resuelta

Preguntado el 31 de Agosto, 2018 por DaveT

5

1Resp

112Vistas

¿Cómo se relacionan los grupos de homotopía sintética con los grupos de homotopía habituales?

Resuelta

Preguntado el 14 de Junio, 2019 por Max

7

1Resp

153Vistas

Tipo inductivo superior: ¿para qué?

Resuelta

Preguntado el 17 de Marzo, 2019 por Bob

8

2Resp

152Vistas

¿Cuáles son los diferentes enfoques para formalizar la teoría de tipos en el contexto habitual del modelo teórico?

Abierta

Preguntado el 13 de Marzo, 2017 por CocoaPriest

4

2Resp

184Vistas

En la HoTT de Cauchy Reales

Resuelta

Preguntado el 10 de Junio, 2016 por Rod

4

2Resp

141Vistas

¿Cómo puedo construir $\mathbb{S}^1$ en Homotopy Tipo de Teoría a través de pushouts?

Abierta

Preguntado el 28 de Junio, 2017 por user3677952

5

1Resp

170Vistas

Demostrar que en HoTT si los tipos de $A$ $B$ están conectados y $\Omega A = \Omega B$, $A = B$

Resuelta

Preguntado el 29 de Octubre, 2018 por while1fork

11

1Resp

161Vistas

¿Teoría de homotopía tipo tiene una interpretación computacional?

Resuelta

Preguntado el 26 de Junio, 2017 por jwcoding

8

1Resp

199Vistas

Modelo de teoría de tipos de homotopía en ZFC

Abierta

Preguntado el 25 de Diciembre, 2015 por srik

5

1Resp

393Vistas

Acerca de las matemáticas constructivas y la teoría de tipos de Homotopy

Resuelta

Preguntado el 22 de Diciembre, 2013 por tomaszs

4

1Resp

355Vistas

Cómo representar Smullyan del "Ruiseñor" en los puzzles (Homotopy) Tipo de Teoría?

Abierta

Preguntado el 15 de Enero, 2014 por llimllib

10

1Resp

135Vistas

¿Por qué son homotopies definido por la real intervalos?

Abierta

Preguntado el 22 de Agosto, 2016 por Istvan Chung

11

2Resp

368Vistas

Dos preguntas sobre homotopía tipo teoría

Resuelta

Preguntado el 4 de Febrero, 2014 por tharris

6

1Resp

260Vistas

Una equivalencia de categorías que se parece al axioma de la Univalencia de Voevodsky

Resuelta

Preguntado el 15 de Marzo, 2015 por Jeff

8

1Resp

487Vistas

¿Dónde conseguir ayuda con la teoría del tipo de homotopía?

Resuelta

Preguntado el 11 de Octubre, 2013 por Jason Dagit

12

1Resp

216Vistas

Hay una distinción fundamental entre los objetos y sus tipos?

Resuelta

Preguntado el 1 de Enero, 2015 por Randell

13

2Resp

346Vistas

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

Abierta

Preguntado el 21 de Febrero, 2015 por user452730

18

3Resp

722Vistas

Libros introductorios como preparación para leer el libro de teoría de la homotopía de Voevodsky (HoTT)

Resuelta

Preguntado el 2 de Diciembre, 2013 por flight

9

2Resp

501Vistas

Ejercicio 4.6 (iii) en el Libro HoTT

Resuelta

Preguntado el 18 de Febrero, 2015 por codemac

20

1Resp

478Vistas

La confusión acerca de Homotopy Tipo de Teoría de la terminología

Resuelta

Preguntado el 3 de Agosto, 2013 por Nate

14

2Resp

390Vistas

¿Más fundamental que categorías, grupoides realmente?

Resuelta

Preguntado el 2 de Marzo, 2015 por Jeff

30

1Resp

493Vistas

¿Cuál es incorrecto con ZFC?

Resuelta

Preguntado el 7 de Septiembre, 2015 por Nethesis

Preguntas ciencias homotopy-type-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

métrica natural de la longitud de la prueba

$\infty$categoría de interpretación de la teoría tipo

Las perspectivas para revertir las matemáticas en Homotopy Tipo de Teoría

La duda de Deligne sobre los fundamentos univalentes de Voevodsky

¿Cómo define categorías (infinito, 1) en la teoría de tipos de homotopía?

Teoría del tipo de homotopía: ¿qué es?

Definición de$SU(n)$ en HoTT

La homotopía como principio organizador general

¿Por qué Voevodsky consideró las categorías "posets en la siguiente dimensión", y los grupopoides la generalización correcta de los conjuntos?

¿Cómo se relacionan los grupos de homotopía sintética con los grupos de homotopía habituales?

Tipo inductivo superior: ¿para qué?

¿Cuáles son los diferentes enfoques para formalizar la teoría de tipos en el contexto habitual del modelo teórico?

En la HoTT de Cauchy Reales

¿Cómo puedo construir $\mathbb{S}^1$ en Homotopy Tipo de Teoría a través de pushouts?

Demostrar que en HoTT si los tipos de $A$ $B$ están conectados y $\Omega A = \Omega B$, $A = B$

¿Teoría de homotopía tipo tiene una interpretación computacional?

Modelo de teoría de tipos de homotopía en ZFC

Acerca de las matemáticas constructivas y la teoría de tipos de Homotopy

Cómo representar Smullyan del "Ruiseñor" en los puzzles (Homotopy) Tipo de Teoría?

¿Por qué son homotopies definido por la real intervalos?

Dos preguntas sobre homotopía tipo teoría

Una equivalencia de categorías que se parece al axioma de la Univalencia de Voevodsky

¿Dónde conseguir ayuda con la teoría del tipo de homotopía?

Hay una distinción fundamental entre los objetos y sus tipos?

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

Libros introductorios como preparación para leer el libro de teoría de la homotopía de Voevodsky (HoTT)

Ejercicio 4.6 (iii) en el Libro HoTT

La confusión acerca de Homotopy Tipo de Teoría de la terminología

¿Más fundamental que categorías, grupoides realmente?

¿Cuál es incorrecto con ZFC?

Etiquetas mas usadas

i-Ciencias.com

Powered by: