OAlg.Hom.Definition

Contents

Description

introducing the idiom Hom.

Synopsis

Hom

type family Hom s (h :: Type -> Type -> Type) :: Constraint Source #

parameterized constraint that the values of the type h x y admit the constraints of a homomorphisms between the structures given by s.

Instances details

type Hom Add h Source #
Instance details Defined in OAlg.Hom.Additive type Hom Add h = HomAdditive h
type Hom Dst h Source #
Instance details Defined in OAlg.Hom.Distributive type Hom Dst h = HomDistributive h
type Hom Fbr h Source #
Instance details Defined in OAlg.Hom.Fibred type Hom Fbr h = HomFibred h
type Hom FbrOrt h Source #
Instance details Defined in OAlg.Hom.Fibred type Hom FbrOrt h = HomFibredOriented h
type Hom Mlt h Source #
Instance details Defined in OAlg.Hom.Multiplicative.Definition type Hom Mlt h = HomMultiplicative h
type Hom Ort h Source #
Instance details Defined in OAlg.Hom.Oriented.Definition type Hom Ort h = HomOriented h
type Hom (Alg k) h Source #
Instance details Defined in OAlg.Hom.Algebraic type Hom (Alg k) h = HomAlgebraic k h
type Hom (Vec k) h Source #
Instance details Defined in OAlg.Hom.Vectorial type Hom (Vec k) h = HomVectorial k h