diagram – Konrad Voelkel's Blog – Mathemagically

A mind-map overview of the most important single variable complex analysis theorems and some implications between them (complex calculus, first course).

A closed immersion is finite. A finite morphism is proper, affine and of finite type. Finite morphisms are separated. Open immersions are etale, therefore smooth, thus flat; open immersions are separated. Quasi-compact and locally of finite type implies of finite type. Projective and quasi-finite is the same as finite. Proper morphisms are universally closed. Flat morphisms of finite type are universally open.

Here is the second part of my walk-through to Morel-Voevodskys A¹-homotopy theory. I give a proof of Lemma 1.1 on page 48.