Ir al contenido principal
ChannelGems

HoTT Math

@hottmathSe unió en 2025¿Es tu canal?
✦ Resumen de IA· actualizado 2 oct 2026

Lecciones breves explican la teoría de tipos homotópica y sus conexiones con tipos, demostraciones, topología y teoría de categorías.

Dirigido a: AdultosNivel: AvanzadoPresentado por: Voz en off / sin rostro
¿Cómo se hace esto?

Un modelo de IA analiza los datos públicos del canal: su nombre, descripción, palabras clave y estadísticas, además de los títulos, fechas, duraciones y etiquetas de sus 30 vídeos más recientes. No ve los vídeos, así que puede pasar por alto algunos detalles. Se actualiza aproximadamente cada dos meses, o antes si el canal cambia.

Valóralo Abrir en YouTube
Puntuación de ChannelGems
Aún sin valorar

Nadie ha valorado este canal todavía. Puntúalo en 10 aspectos y ayuda a otros a decidir.

Valóralo
Suscriptores
1,8 mil
Crecimiento (30 días)
—

Puntuaciones en 10 aspectos

Sé la primera persona en valorar a HoTT Math

Puntúalo en 10 aspectos —desde la honestidad hasta si es apto para toda la familia— y ayuda a otras personas a encontrar canales que merecen la pena.

Valorar este canal

Actividad y crecimiento

Frecuencia de publicación
Cada 2 semanas
Publicaciones / mes
1,7
Duración habitual
4 min
Última publicación
hace 57 días

Cuándo publica

Máximo: viernes 16:00 UTC

Crecimiento

El historial se va completando día a día desde que el canal se unió a ChannelGems.

Publicaciones al mes · Vídeos largos

3
3
4
2
4
3
3
2
4
1
0
0
novdicenefebmarabrmayjunjulagoseptoct

Vídeos recientes

Advertencias de contenido

La comunidad no ha señalado advertencias de contenido para este canal.

Quienes valoran el canal pueden señalar advertencias al enviar su valoración.

Opiniones de la comunidad

Escribir una opinión

Aún no hay opiniones: sé la primera persona en escribir una.

Canales similares

Coincidencias por tema, idioma, tamaño y estilo de vídeo.

Ver todos los similares →
Math with Van
86% de afinidad · Mismo tema: Education
1,5 mil

Acerca de

Ideal para

  • estudiar teoría de tipos homotópica
  • explorar fundamentos matemáticos rigurosos
  • aprender sobre tipos y demostraciones

Temas

homotopy type theorytype theoryfoundational mathematicsmathematical proofscategory theorytopology

HoTT Math offers a step-by-step exploration of foundational mathematics. Using Homotopy Type Theory, we examine types, propositions, and proofs with rigour and clarity.

Los temas y las descripciones se generan automáticamente a partir de datos públicos del canal y pueden contener errores.