Is $X\to\{p\}$ a proper morphism precisely when $X$ is a projective variety?
Posted by Ali Sobrante, at math.stackexchange.com,
For me, the notion of a proper morphism is a map $\varphi\colon X\to Y$ such that $\varphi$ factors as $X\xrightarrow{i}Y\times\m…