Structures · Geometry
AlgebraicGeometry.IsDominant
A morphism of schemes is dominant if the underlying map has dense range.
- Shape
- One type argument · adds denseRange
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by1
Forgetful instances
Provided automatically by
Concrete types that are instances1
- AlgebraicGeometry.Scheme.Opens.toScheme
How is a type an instance?
Loading the hierarchy index…
Assumed by36
- AlgebraicGeometry.Scheme.PartialMap.comp
- AlgebraicGeometry.Scheme.Hom.partialIso
- AlgebraicGeometry.Scheme.Hom.denseRange
- AlgebraicGeometry.ext_of_isDominant_of_isSeparated
- AlgebraicGeometry.Scheme.PartialMap.comp_equiv_of_equiv_left
- AlgebraicGeometry.IsDominant.of_comp
- AlgebraicGeometry.Scheme.PartialMap.comp_toPartialMap
- AlgebraicGeometry.Scheme.PartialMap.comp_equiv_of_equiv_right
- AlgebraicGeometry.Scheme.PartialMap.isDominant_hom_of_isDominant_restrict_hom
- AlgebraicGeometry.Scheme.Hom.partialIso_iso
- AlgebraicGeometry.ext_of_isDominant
- AlgebraicGeometry.Scheme.PartialMap.comp_restrict_left
- AlgebraicGeometry.ext_of_isDominant_of_isSeparated'
- AlgebraicGeometry.IsSchemeTheoreticallyDominant.of_isDominant
- AlgebraicGeometry.surjective_of_isDominant_of_isClosed_range
- AlgebraicGeometry.Scheme.PartialMap.comp_restrict_right
- AlgebraicGeometry.IsDominant.denseRange
- AlgebraicGeometry.Scheme.RationalMap.toRationalMap_comp
- AlgebraicGeometry.IsDominant.of_comp_of_isOpenImmersion
- AlgebraicGeometry.instIsDominantCompScheme
- AlgebraicGeometry.Scheme.PartialMap.comp_equiv_of_equiv
- AlgebraicGeometry.Scheme.PartialMap.isDominant_restrict_hom
- AlgebraicGeometry.Scheme.PartialMap.comp_id
- AlgebraicGeometry.Surjective.of_universallyClosed_of_isDominant
- AlgebraicGeometry.IsDominant.comp_iff
- AlgebraicGeometry.Scheme.PartialMap.comp_domain
- AlgebraicGeometry.Scheme.PartialMap.comp_hom
- AlgebraicGeometry.Scheme.PartialMap.instIsDominantHomToPartialMap
- AlgebraicGeometry.Scheme.PartialMap.comp_assoc
- AlgebraicGeometry.Scheme.Hom.partialIso_source
- AlgebraicGeometry.Scheme.PartialMap.isDominant_comp_hom
- AlgebraicGeometry.Scheme.Hom.birational
- AlgebraicGeometry.Scheme.Hom.birationalOver
- AlgebraicGeometry.Scheme.PartialMap.comp.congr_simp
- AlgebraicGeometry.Scheme.Hom.partialIso_target
- AlgebraicGeometry.Scheme.instIsDominantToRationalMapOfIsDominantHom
Ancestors0
No ancestors.