In matematica, un 4-politopo regolare convesso (o policoro) è un politopo a 4 dimensioni (4D) che è sia regolare che convesso. Sono gli analoghi quadridimensionali dei solidi platonici (in tre dimensioni) e dei poligoni regolari (in due dimensioni).
Questi polipi furono descritti per la prima volta dal matematico svizzero Ludwig Schläfli a metà del XIX secolo. Schläfli scoprì che esistono precisamente sei figure di questo tipo. Cinque di queste possono essere pensate come analoghi dimensionali superiori dei solidi platonici. C'è un'ulteriore figura (la cella 24) che non ha un equivalente tridimensionale.
Ogni 4-politopo regolare convesso è delimitato da un insieme di celle tridimensionali che sono tutti solidi platonici dello stesso tipo e dimensione. Questi sono montati insieme lungo le loro rispettive facce in modo regolare.
