Structures · Geometry
AlgebraicGeometry.IsSchemeTheoreticallyDominant
A morphism is scheme-theoretically dominant if its kernel is trivial.
- Shape
- One type argument · adds ker_eq_bot
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by1
Forgetful instances
Provided automatically by
Concrete types that are instances1
- CategoryTheory.Limits.pullback
How is a type an instance?
Loading the hierarchy index…
Assumed by9
- AlgebraicGeometry.Scheme.Hom.app_injective
- AlgebraicGeometry.IsSchemeTheoreticallyDominant.ker_eq_bot
- AlgebraicGeometry.Scheme.Hom.ker_eq_bot
- AlgebraicGeometry.IsSchemeTheoreticallyDominant.isReduced
- AlgebraicGeometry.IsSchemeTheoreticallyDominant.pullbackFst
- AlgebraicGeometry.IsSchemeTheoreticallyDominant.of_isPullback
- AlgebraicGeometry.IsSchemeTheoreticallyDominant.pullbackSnd
- AlgebraicGeometry.instIsSchemeTheoreticallyDominantCompScheme
- AlgebraicGeometry.instIsDominantOfIsSchemeTheoreticallyDominantOfQuasiCompact
Ancestors0
No ancestors.