Logic Seminar-Higher derived topologies