dvska es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 4 votos
¿Cuál es la relación (y el estado) de los Fundamentos Univalentes y la Teoría de Tipos de Homotopía?
el 29 de Septiembre, 2020 4 votos - 1 votos
¿Es posible tener un preorden con diferentes tipos de morfismos?
el 17 de Agosto, 2020 1 votos - 7 votos
Elevación de un morfismo en un hom-funtor cuando los hom-sets están vacíos
el 26 de Marzo, 2020 7 votos - 4 votos
¿Pueden dos categorías con los mismos objetos tener flechas de identidad diferentes?
el 27 de Marzo, 2020 4 votos - 2 votos
categoría de flechas y categoría de funtores
el 24 de Julio, 2020 2 votos
Etiquetas favoritas
- 4 x category-theory
- 1 x functors
- 1 x hom-functor
- 1 x foundations
- 1 x homotopy-type-theory
- 1 x univalent-foundations