Las categorías de los conjuntos finitos, de "G"-espacios finitos y de grafos dirigidos finitos son también topos.