NumHask.Algebra.Abstract.Homomorphism

The Homomorphism Hierarchy

Documentation

class (Magma a, Magma b) => Hom a b where

A Homomorphism between two magmas law: forall a b. hom(a magma b) = hom(a) magma hom(b)

Methods

hom :: a -> b

Instances

Hom b c => Hom (a -> b) (a -> c)

Defined in NumHask.Algebra.Abstract.Homomorphism

Methods

hom :: (a -> b) -> a -> c

class Hom a a => End a

Instances

Hom a a => End a

Defined in NumHask.Algebra.Abstract.Homomorphism

class (Hom a b, Hom b a) => Iso a b

A Isomorphism between two magmas an Isomorphism is a bijective Homomorphism

Instances

Iso b c => Iso (a -> b) (a -> c)

Defined in NumHask.Algebra.Abstract.Homomorphism

iso :: Iso a b => a -> b

invIso :: Iso a b => b -> a

class Iso a a => Automorphism a

Instances

Iso a a => Automorphism a

Defined in NumHask.Algebra.Abstract.Homomorphism