Definition. Morphism of Species of Types [008U]

Let and be species of types. We define the type of and to be . We denote it by .