Este volumen presenta la teoría de tipos temporales como un marco topológico, mostrando cómo los topos capturan dinámicas secuenciales y permiten analizar comportamientos complejos con precisión formal.