Learning Functional Programming in Go

Homomorphism table

The following table contains the categories of homomorphisms that correspond to the Venn diagram of homomorphisms.

A → A

Morphism	Description	Diagram	Example
Epi-	Surjective "onto"	A → B ⇉ C
Mono-	Injective "1 to 1"	C ⇉ A → B
Iso-	Bijective "onto" and "1 to 1" Bijective = Injective + Surjective ...