Como yo voy a ser introducido y aprender acerca de estas teorías, quería pedir su ayuda para poner las cosas en perspectiva.
Mi impresión en este momento es que es un Tipo más abstracto de la teoría de la Categoría y que los Topos es más específico de la teoría de la Categoría.
Y cuando digo abstracto, estoy recibiendo la impresión de que yo podía frase que como una teoría con muchos axiomas y unas derivaciones donde cuando digo específica estoy recibiendo la impresión de que yo podía frase que significa unos axiomas y muchas derivaciones
Son estas impresiones precisas?
Si es así, ¿de dónde Homotopy Tipo de Teoría de ajuste en esta escala; ¿tiene sentido como en el título (más abstractos que los de la Categoría, pero más específicas que las de Tipo?)
(EDIT: cualquier comentario o discusión sobre cómo usted personalmente vista de estas teorías a lo largo de cualquier métrica sería muy bienvenida y útil para mí.)