Un límite del funtor F es entonces un "cono universal".