핫숀 1장에 variety간의 morphism정의가 일케 적혀있단말임여태 그냥 당연하게 받아들여옴근데 요새 취미삼아 고전 대수기하 정리노트를 만들고 있는데오늘 Morphism파트를 좀 수정하면서 건드리고 있었단 말임그러면서 핫숀을 봤는데지금 생각해보니 핫숀 저거에ϕ^{-1}(V)≠Ø 조건 붙어야 하는거 아닌가요--지금 저 조건 쓸지말지 깊은 고민에 빠짐솔직히 안붙여도 상관없다vs그래도 쓰는게 낫다
regular map의 정의는 어떻게 되어있나 살펴보고 거기서 ø→k가 regular map이 되면 넘겨도 된다고 봄
저기서 (nonempty irreducible)variety에서만 regular을 정의해서 그럼...
안붙여도 될 것 같음. regular이라고 말했으니 implicit하게 nonempty라는 것도 함의되는듯