oalg-base-1.1.4.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.
Copyright(c) Erich Gut
LicenseBSD3
Maintainerzerich.gut@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

OAlg.Hom.Algebraic

Contents

Description

homomorphisms between Algebraic structures having the same associated Scalar.

Synopsis

Algebraic

class (EmbeddableMorphism h (Alg k), HomDistributive h, HomVectorial k h) => HomAlgebraic k h Source #

type family of homomorphisms between Algebraic structures having the same associated Scalar.

Instances

Instances details
HomAlgebraic k h => HomAlgebraic k (Path h) Source # 
Instance details

Defined in OAlg.Hom.Algebraic

(TransformableOp (s k), ForgetfulAlg k s, ForgetfulTyp (s k), Typeable s, Typeable k) => HomAlgebraic k (IdHom (s k)) Source # 
Instance details

Defined in OAlg.Hom.Algebraic