Safe Haskell	Safe
Language	Haskell2010

NumHask.Algebra.Abstract.Homomorphism

Description

The Homomorphism Hierarchy

Synopsis

Documentation

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

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

Methods

hom :: a -> b Source #

Instances

Hom b c => Hom (a -> b) (a -> c) Source #
Instance details Defined in NumHask.Algebra.Abstract.Homomorphism Methods hom :: (a -> b) -> a -> c Source #

class Hom a a => End a Source #

Instances

Hom a a => End a Source #
Instance details Defined in NumHask.Algebra.Abstract.Homomorphism

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

A Isomorphism between two magmas an Isomorphism is a bijective Homomorphism

Instances

Iso b c => Iso (a -> b) (a -> c) Source #
Instance details Defined in NumHask.Algebra.Abstract.Homomorphism

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

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

Instances

Iso a a => Automorphism a Source #
Instance details Defined in NumHask.Algebra.Abstract.Homomorphism