Equivalence of Species of Types [008S]
Equivalence of Species of Types [008S]
An equivalence of species is a pointwise equivalence of types. In symbols: For species and we define the type of equivalences as
An equivalence of species is a pointwise equivalence of types. In symbols: For species and we define the type of equivalences as