¿Hay algún lugar (en el internet o en otros lugares) donde puedo encontrar el número y preferiblemente una lista de todas las (clases de isomorfismo) finito conectada $T_0$-espacios con, digamos, 5 puntos?
En saber que un $T_0$-topología sobre un conjunto finito es equivalente a un orden parcial, y wikipedia me dice que no hay, hasta el isomorfismo, 63 conjuntos parcialmente ordenados, precisamente, con 5 elementos. Sin embargo, sólo estoy interesado en espacios conectados, y me encantaría tener una lista (preferiblemente en términos de diagramas de Hasse).
