Универсальный гомеоморфизм

Универсальный гомеоморфизм — морфизм схем , такой, что для каждого морфизма изменение базы является гомеоморфизмом топологических пространств.

является универсальным гомеоморфизмом тогда и только тогда, когда он целочислен, и сюръективен. В частности, морфизм локально конечного типа является универсальным гомеоморфизмом тогда и только тогда, когда он конечен, радикален и сюръективен.

Например, эндоморфизм Фробениуса является универсальным гомеоморфизмом.