Quasi-compact morphisms #
A morphism of schemes is quasi-compact if the preimages of quasi-compact open sets are
It suffices to check that preimages of affine open sets are compact
A morphism is
quasi-compact if the underlying map of topological spaces is, i.e. if the preimages
of quasi-compact open sets are quasi-compact.
Instances of this typeclass
affine_target_morphism_property corresponding to
quasi_compact, asserting that the
domain is a quasi-compact scheme.