| 11. | Such a function is called a 2-valued morphism.
|
| 12. | A morphism which is invertible in this sense is called an isomorphism.
|
| 13. | Let f : X \ to Y be a morphism of schemes.
|
| 14. | Under the forgetful functor, this morphism yields the identity.
|
| 15. | In algebraic geometry, the analogous concept is called a proper morphism.
|
| 16. | A quasi-finite proper morphism locally of finite presentation is finite.
|
| 17. | This morphism is birational for of dimension at most 2.
|
| 18. | In particular, the natural homomorphism is a dependency morphism.
|
| 19. | The pushforward is the morphism corresponding to the homology functor.
|
| 20. | Sometimes a fpqc morphism means one that is faithfully flat and quasicompact.
|
