Cotypes

Definition of Cotypes