En dimensión 4 hay un notable contraste con dimensiones más bajas, las categorías topológicas y diferenciables no son equivalentes.