Hola
No tengo aquí mis libros ni mis notas, y me memoria es horrible. Así que de momento poca ayuda en lo que pides.
Pero dos observaciones subjetivas:
- La Topología Algebraica es brutalmente preciosa. Relaciona lo abstracto del álgebra con lo hermoso e intuitivo de la topología. Disfrutala.
- Las categorías y los haces son un mal necesario. En su versión más abstracta, para mi son horribles. Es formalismo puro y duro. Pero aplicados en contextos topológicos o geométricos son bonitas y potentes herramientas. Si en algún momento te los enseñan sólo desde el punto de vista más formal, intenta con el "rabillo del ojo" estar mirando ejemplos "palpables" (topología y geometría): te harán la vida más fácil.
Saludos.