Preguntas ciencias de homotopy-type-theory

25

3Resp

1761Vistas

¿Acercarse a la Teoría de Tipos y a la Teoría de Categorías como punto de partida en el estudio de las matemáticas?

Resuelta

Preguntado el 1 de Abril, 2023 por Mateus Galdino

3

1Resp

81Vistas

Cómo mostrar la doble cubierta de $S^1$ es un círculo en HoTT

Resuelta

Preguntado el 1 de Diciembre, 2021 por HallaSurvivor

5

1Resp

246Vistas

Construcción del espacio de cobertura universal del tipo de homotopía etale $Et(X)$

Resuelta

Preguntado el 16 de Julio, 2021 por Prakash K

1

1Resp

52Vistas

¿Cuál es la relación (y el estado) de los Fundamentos Univalentes y la Teoría de Tipos de Homotopía?

Resuelta

Preguntado el 29 de Septiembre, 2020 por Will Sargent

3

1Resp

203Vistas

Cómo entender un haz principal en la teoría de tipos de homotopía

Abierta

Preguntado el 6 de Junio, 2017 por dgr

1

2Resp

84Vistas

Construir una función a partir de una proposición truncada

Resuelta

Preguntado el 4 de Abril, 2020 por Greywhite

6

2Resp

798Vistas

Definir los números racionales sin utilizar cocientes ni truncamientos 0

Resuelta

Preguntado el 24 de Junio, 2021 por Likith Govindaiah

7

1Resp

104Vistas

Desde $\textsf{Prop}$ a $\textsf{Type}$

Resuelta

Preguntado el 9 de Febrero, 2021 por Ximei

9

1Resp

418Vistas

¿Progreso hacia una interpretación computacional del axioma de univalencia?

Resuelta

Preguntado el 23 de Octubre, 2018 por Brendan Dowling

2

1Resp

161Vistas

¿Por qué debemos adoptar la convención del universo acumulativo?

Resuelta

Preguntado el 13 de Marzo, 2019 por Trebor

Preguntas ciencias homotopy-type-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Acercarse a la Teoría de Tipos y a la Teoría de Categorías como punto de partida en el estudio de las matemáticas?

Cómo mostrar la doble cubierta de $S^1$ es un círculo en HoTT

Construcción del espacio de cobertura universal del tipo de homotopía etale $Et(X)$

¿Cuál es la relación (y el estado) de los Fundamentos Univalentes y la Teoría de Tipos de Homotopía?

Cómo entender un haz principal en la teoría de tipos de homotopía

Construir una función a partir de una proposición truncada

Definir los números racionales sin utilizar cocientes ni truncamientos 0

Desde $\textsf{Prop}$ a $\textsf{Type}$

¿Progreso hacia una interpretación computacional del axioma de univalencia?

¿Por qué debemos adoptar la convención del universo acumulativo?

Etiquetas mas usadas

i-Ciencias.com

Powered by: