Structures · Geometry
ContMDiffRing
A C^n (semi)ring is a (semi)ring R where addition and multiplication are C^n.
If R is a ring, then negation is automatically C^n, as it is multiplication with -1.
- Shape
- 3 explicit arguments · adds contMDiff_mul
Extends1
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by49
- smoothSheafCommRing
- smoothSheafCommRing.evalHom
- smoothSheafCommRing.forgetStalk
- smoothSheafCommRing.ι_evalHom
- smoothSheafCommRing.eval
- smoothSheafCommRing.forgetStalk_inv_comp_eval
- smoothSheafCommRing.evalAt
- smoothSheafCommRing.ι_forgetStalk_hom
- smoothSheafCommRing.evalHom_germ
- smoothSheafCommRing.ι_forgetStalk_inv
- smoothSheafCommRing.forgetStalk_hom_comp_evalHom
- smoothSheafCommRing.ι_forgetStalk_inv_assoc
- smoothSheafCommRing.eval_germ
- smoothSheafCommRing.forgetStalk_inv_comp_eval_apply
- ContMDiffMap.restrictRingHom
- ContMDiffMap.coeFnRingHom
- ContMDiffMap.coeFnAlgHom
- ContMDiff.smoothSheafCommRingHom
- ContMDiffMap.compLeftRingHom
- ContMDiffMap.algebra
- instRingObjOppositeOpensCarrierOfPresheafSmoothSheaf
- instCommRingObjOppositeOpensCarrierOfPresheafSmoothSheaf
- ContMDiffMap.ring
- topologicalSemiring_of_contMDiffRing
- instNontrivialCarrierStalkCommRingCatPresheafSmoothSheafCommRing
- smoothSheafCommRing.ι_evalHom_assoc
- smoothSheafCommRing.ι_forgetStalk_inv_apply
- ContMDiffMap.commRing
- smoothPresheafCommRing
- smoothSheafCommRing.forgetStalk_inv_comp_eval_assoc
- smoothSheafCommRing.ι_forgetStalk_hom_apply
- smoothSheafRing
- ContMDiffRing.toLieAddGroup
- smoothSheafCommRing.eval_surjective
- ContMDiffMap.C
- ContMDiffRing.toContMDiffAdd
- ContMDiffRing.toContMDiffMul
- ContMDiffMap.coeFnAlgHom_apply
- smoothPresheafRing
- ContMDiffMap.semiring
- smoothSheafCommRing.coeFun
- smoothSheafCommRing.ι_evalHom_apply
- smoothSheafCommRing.forgetStalk_hom_comp_evalHom_assoc
- ContMDiffMap.coeFnRingHom_apply
- smoothSheafCommRing.ι_forgetStalk_hom_assoc
- smoothSheafCommRing.forgetStalk_hom_comp_evalHom_apply
- ContMDiffMap.evalRingHom
- ContMDiff.smoothSheafCommRingHom_hom_app_hom_apply
- ContMDiffRing.contMDiff_mul