Talk:Quasi-compact morphism