Structures · Algebra
NonUnitalAlgSemiHomClass
NonUnitalAlgSemiHomClass F φ A B asserts F is a type of bundled algebra homomorphisms
from A to B which are equivariant with respect to φ.
- Defined in
- Mathlib.Algebra.Algebra.NonUnitalHom
- Shape
- 4 explicit arguments
Extends2
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- NonUnitalAlgHom
How is a type an instance?
Loading the hierarchy index…
Assumed by7
- NonUnitalAlgHomClass.toNonUnitalAlgSemiHom
- NonUnitalAlgHom.coe_coe
- NonUnitalAlgHomClass.instSemilinearMapClassOfNonUnitalAlgSemiHomClassToMonoidHomRingHom
- NonUnitalAlgSemiHomClass.toMulHomClass
- NonUnitalAlgSemiHomClass.toDistribMulActionSemiHomClass
- NonUnitalAlgHomClass.instCoeTCNonUnitalAlgHomOfNonUnitalAlgSemiHomClass
- NonUnitalAlgHomClass.toNonUnitalRingHomClass