High-order topologies