The category of cpos from a synthetic viewpoint